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

36ccb38 Port create_php_tags to Python3 and generate new PHP tags file

File Changes

(2 files)

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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.