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