Update std.php.tags to be current with PHP 7.2

This commit is contained in:
Dominic Hopf 2018-10-07 12:02:58 +02:00
parent 719305c5b1
commit a00471f50f

File diff suppressed because it is too large Load Diff