mirror of
https://github.com/danog/PHP-Parser.git
synced 2025-01-22 13:51:12 +01:00
648800f07f
This removes the reliance on the "precision" ini setting. Furthermore the default of precision=14 is not sufficient.