From: Christoph M. Becker Date: Fri, 23 Feb 2018 10:32:18 +0000 (+0100) Subject: Merge branch 'PHP-7.2' X-Git-Tag: php-7.3.0alpha1~309 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d5f84fb9c5011be10a46988aff891a9a64751237;p=php Merge branch 'PHP-7.2' * PHP-7.2: Fix some arginfos --- d5f84fb9c5011be10a46988aff891a9a64751237