Related to #2615.
I don't know how good the newly generated tags are, my PHP knowledge is basically non-existent anymore :). At least, the diff looks like some were added, removed and changed, some keep even unchanged. You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/3488
-- Commit Summary --
* Port create_php_tags to Python3 and generate new PHP tags file
-- File Changes --
M data/tags/std.php.tags (10332) M scripts/create_php_tags.py (27)
-- Patch Links --
https://github.com/geany/geany/pull/3488.patch https://github.com/geany/geany/pull/3488.diff