php-parser/lib/PhpParser/PrettyPrinter
Nikita Popov 648800f07f Increase float pretty printing precision
This removes the reliance on the "precision" ini setting.
Furthermore the default of precision=14 is not sufficient.
2015-05-01 19:15:33 +02:00
..
Standard.php Increase float pretty printing precision 2015-05-01 19:15:33 +02:00