mirror of
https://github.com/php/php-src.git
synced 2026-04-26 01:18:19 +02:00
46c09a34d5
* PHP-8.0: Fixed bug #79576 ("TYPE *" shows unhelpful message when type is not defined)