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