mirror of
https://github.com/nikic/PHP-Parser.git
synced 2025-01-17 07:08:14 +01:00
ab51e9d35a
These just specify a type that is already specified as a real PHP type.