mirror of
https://github.com/php/php-src.git
synced 2026-03-25 16:52:18 +01:00
We use the retrieved type for the "type" element instead of the text. This has been confused during the PHP 7 upgrade[1]. [1] http://git.php.net/?p=php-src.git;a=commit;h=1d793348067e5769144c0f7efd86428a4137baec