[geany/geany] 09d17e: Merge pull request #1970 from dmaphy/master

[Enrico Tröger]

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

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).