diff options
| author | Andrey Andreev <narf@devilix.net> | 2019-06-19 15:10:51 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2019-06-19 15:15:20 +0200 |
| commit | 24bf8cc6833435e5243942e29314496bb4d997ef (patch) | |
| tree | 5c68e4d423abf8604d9003ad545743fba076d12f /system/libraries/User_agent.php | |
| parent | 8be08b573a802e47580b9371bf1564557f8ef345 (diff) | |
[ci skip] Merge pull request #5781 from gxgpet/develop
Fixes php5_validate_id() method calling from Redis session driver
Diffstat (limited to 'system/libraries/User_agent.php')
0 files changed, 0 insertions, 0 deletions