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
..
2020-02-25 09:51:32 +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
2019-11-07 21:31:47 +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
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
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-25 09:51:32 +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-25 09:51:32 +01:00
2020-02-25 09:51:32 +01:00
2018-10-15 04:33:09 +02:00
2020-02-25 09:51:32 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +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
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2018-10-15 04:33:09 +02:00
2019-11-07 21:31:47 +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
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +01:00
2019-11-07 21:31:47 +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
2020-02-25 09:51:32 +01:00
2020-02-25 09:51:32 +01:00
2020-02-25 09:51:32 +01:00
2019-11-07 21:31:47 +01:00
2020-02-25 09:51:32 +01:00
2020-02-25 09:51:32 +01:00
2020-02-25 09:51:32 +01:00
2019-11-07 21:31:47 +01:00
2020-02-25 09:51:32 +01:00
2020-02-03 22:52:20 +01:00