Merge pull request #1970 from dmaphy/master
commit09d17e8646f17c9e03bf77f0eb97ac8b170113df
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 25 Nov 2018 13:48:32 +0000 (25 14:48 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Nov 2018 13:48:32 +0000 (25 14:48 +0100)
tree16d2239d2c1d27f45d23e32248f8b29f70ef6aa9
parent653b06e07ae99ac75c4eb56dfc23a237243a5dca
parenta00471f50f3c3a5d479c7c41a65b1d0dfee28a3e
Merge pull request #1970 from dmaphy/master

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