Nikita Popov
a939805641
Use serialize_precision for var_dump()
...
var_dump() is debugging functionality, so it should print
floating-point numbers accurately. We do this by switching
to serialize_precision, which (by default) will print with
as much precision as necessary to preserve the exact value
of the float.
This also affects debug_zval_dump().
Closes GH-5172.
2020-02-25 09:51:32 +01:00
..
2019-11-07 21:31:47 +01:00
2018-10-14 19:45:12 +02:00
2020-02-12 11:25:50 +01:00
2018-10-14 19:45:12 +02:00
2018-02-20 21:53:48 +01:00
2015-11-15 19:06:09 +00:00
2015-11-15 19:06:09 +00:00
2020-02-25 09:51:32 +01:00
2019-04-29 10:23:38 +02:00
2020-02-03 22:52:20 +01:00
2015-11-15 19:06:09 +00:00
2018-10-14 19:45:12 +02:00
2018-10-14 19:45:12 +02:00
2018-10-14 19:45:12 +02:00
2020-02-03 22:52:20 +01:00
2017-10-13 18:23:56 +08:00
2018-02-20 21:53:48 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2017-10-13 18:23:56 +08:00
2018-02-20 21:53:48 +01:00
2020-02-03 22:52:20 +01:00
2015-11-15 19:13:49 +00:00
2018-02-20 21:53:48 +01:00
2020-02-03 22:52:20 +01:00
2018-02-20 21:53:48 +01:00
2020-02-03 22:52:20 +01:00
2020-02-25 09:51:32 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2018-02-20 21:53:48 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2020-02-03 22:52:20 +01:00
2018-10-14 19:45:12 +02:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2019-12-08 21:03:14 +01:00
2020-02-03 22:52:20 +01:00
2016-10-30 13:20:10 +00:00
2018-02-03 13:54:34 +01:00
2019-09-04 08:53:35 +02:00
2020-02-03 22:52:20 +01:00
2018-02-20 21:53:48 +01:00
2020-02-03 22:52:20 +01:00
2019-12-08 21:03:14 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2019-11-07 21:31:47 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2016-01-22 19:40:58 +00:00
2020-02-03 22:52:20 +01:00
2019-03-11 11:32:20 +01:00
2019-03-11 11:32:20 +01:00
2017-12-30 17:41:45 +00:00
2018-07-30 09:43:09 -03:00
2017-12-30 17:41:45 +00:00
2018-10-14 19:45:12 +02:00
2018-10-14 19:45:12 +02:00
2020-02-03 22:52:20 +01:00