Branch: refs/heads/master Author: Enrico Tröger enrico.troeger@uvena.de Committer: GitHub noreply@github.com Date: Sun, 25 Nov 2018 13:48:32 UTC Commit: 09d17e8646f17c9e03bf77f0eb97ac8b170113df https://github.com/geany/geany/commit/09d17e8646f17c9e03bf77f0eb97ac8b170113...

Log Message: ----------- Merge pull request #1970 from dmaphy/master

Update std.php.tags to be current with PHP 7.2

Modified Paths: -------------- data/tags/std.php.tags

Modified: data/tags/std.php.tags 3601 lines changed, 2587 insertions(+), 1014 deletions(-) =================================================================== No diff available, check online

-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).