One more case: With PHP <= 7.0, json_encode for double use the precision configuration option (default = 14) Starting with 7.1, json_encode uses the serialize_precision option (default is 17, but will be moved to -1 in 7.1.0 GA) Ex: http://pkgs.fedoraproject.org/cgit/rpms/php-phpunit-PHP-CodeCoverage.git/commit/?h=master&id=b48c62d56f4a0335f5903f50e818e1cb3577c829 Remi. _______________________________________________ php-devel mailing list -- php-devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to php-devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
