You can view, comment on, or merge this pull request online at:

https://github.com/geany/geany/pull/1970

-- Commit Summary --

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

-- File Changes --

M data/tags/std.php.tags (3601)

-- Patch Links --

https://github.com/geany/geany/pull/1970.patch https://github.com/geany/geany/pull/1970.diff