Merge pull request #3488 from eht16/update_php_script_and_tags
commit82502cfe987a9a5ef5da27d100e8d03b8352c14f
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 21 May 2023 17:20:12 +0000 (21 19:20 +0200)
committerGitHub <noreply@github.com>
Sun, 21 May 2023 17:20:12 +0000 (21 19:20 +0200)
tree99cf435a136a82c39b7e8e6e85062e60d2c0ba11
parent99b846166a53182493467feec789b7fd6ccb73f5
parent721550ca76caa155dc3ea2c7e0edb4710ef6c7e9
Merge pull request #3488 from eht16/update_php_script_and_tags

Port create_php_tags to Python3 and generate new PHP tags file