Rewrite PHP tag creation script using up to date upstream tag definitions
commitb0cf5f6cdad33db2256676ae59daf6c2b36807c6
authorEnrico Tröger <enrico.troeger@uvena.de>
Sat, 8 Aug 2015 10:21:09 +0000 (8 12:21 +0200)
committerEnrico Tröger <enrico.troeger@uvena.de>
Sun, 6 Mar 2016 08:41:39 +0000 (6 09:41 +0100)
treefd7499b575e40d60137f5ad46397c5130d559edc
parent31325bb2310f3946668ba420910f0e44a734b0fa
Rewrite PHP tag creation script using up to date upstream tag definitions

Fixes #584.
data/php.tags
scripts/create_php_tags.php [deleted file]
scripts/create_php_tags.py [new file with mode: 0644]