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 -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3488 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/[email protected]>
