I've just ran the script to generate an up2date php.tags file and then squashed 
the commits together in case we want to merge it.

It would have been cool if we got any feedback from some PHP users in #584. 
After my quick tests the new list is better but I don't know PHP well enough to 
really judge.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/603#issuecomment-192831458

Reply via email to