mirror of
https://github.com/danog/PHP-Parser.git
synced 2025-01-22 22:01:18 +01:00
537b59d4d1
Catch::$type is now an array Catch::$types.
Catch::$type is now an array Catch::$types.