summaryrefslogtreecommitdiffstats
path: root/phpdoc.dist.xml
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2019-06-19 15:10:51 +0200
committerAndrey Andreev <narf@devilix.net>2019-06-19 15:15:20 +0200
commit24bf8cc6833435e5243942e29314496bb4d997ef (patch)
tree5c68e4d423abf8604d9003ad545743fba076d12f /phpdoc.dist.xml
parent8be08b573a802e47580b9371bf1564557f8ef345 (diff)
[ci skip] Merge pull request #5781 from gxgpet/develop
Fixes php5_validate_id() method calling from Redis session driver
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions