Port create_php_tags to Python3 and generate new PHP tags file
commit721550ca76caa155dc3ea2c7e0edb4710ef6c7e9
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 7 May 2023 09:01:48 +0000 (7 11:01 +0200)
committerEnrico Tröger <enrico.troeger@uvena.de>
Wed, 10 May 2023 21:34:36 +0000 (10 23:34 +0200)
treee7a56f6e3c5afdeb9b9abe0e9d5c2eb3a045b22f
parent1d9681d78c0294c8c29925cdc89c2d8ae19b5abf
Port create_php_tags to Python3 and generate new PHP tags file

Related to #2615.
data/tags/std.php.tags
scripts/create_php_tags.py