From: Joe Watkins Date: Wed, 29 May 2019 06:30:41 +0000 (+0200) Subject: Merge branch 'PHP-7.2' into PHP-7.3 X-Git-Tag: php-7.3.7RC1~25 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6c73b2088a020e9a3deed3bb3b051be6bd998203;p=php Merge branch 'PHP-7.2' into PHP-7.3 * PHP-7.2: disabled functions must not have return type --- 6c73b2088a020e9a3deed3bb3b051be6bd998203