diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-06-09 22:54:59 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-06-09 22:54:59 +0200 |
commit | 53b0f4ba4ed15f87778b2c49478f2d79fa946713 (patch) | |
tree | 816f58d4c3fd9241532fd62e17018ddc98718642 /ext/pcre/php_pcre.c | |
parent | 15e01132cf6dc1bead1ad8213654415a0cf42d2f (diff) | |
parent | 65ada393602ad6125928c33a5c18dd05c84c29fa (diff) | |
download | php-git-53b0f4ba4ed15f87778b2c49478f2d79fa946713.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
Extend wildcard files section in EditorConfig [ci skip]
Diffstat (limited to 'ext/pcre/php_pcre.c')
0 files changed, 0 insertions, 0 deletions