diff options
author | Andrey Andreev <narf@devilix.net> | 2018-12-17 08:29:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-17 08:29:25 +0100 |
commit | 90ebf3b7d243cbaed06c58b0fbdb2c07d8a631e9 (patch) | |
tree | b9bc33588c0ad3bc0fadd1e7b13deba4b45a75d0 /system/libraries/User_agent.php | |
parent | 37d9b303163cd1256743d06750c1c742bd464823 (diff) | |
parent | eb8f21e8bf051c1a5cba0a08a07fef5d10132750 (diff) |
[ci skip] Merge pull request #5651 from pawelkg/develop
Test if cache file is writable before unlink it
Diffstat (limited to 'system/libraries/User_agent.php')
0 files changed, 0 insertions, 0 deletions