diff options
| author | tianhe1986 <w1s2j3229@163.com> | 2016-08-11 06:40:47 +0200 |
|---|---|---|
| committer | tianhe1986 <w1s2j3229@163.com> | 2016-08-11 06:40:47 +0200 |
| commit | e1f76634b6c658680c2ea869dc1bcc38828c7da0 (patch) | |
| tree | f47b7c15a8fb71e13970e936b8e303d727253e02 /system/libraries/User_agent.php | |
| parent | c4bd43432df03e4f4835c7689c8ed722cd2c3020 (diff) | |
Cache_file: use is_file() for checking instead of file_exists().
Signed-off-by: tianhe1986 <w1s2j3229@163.com>
Diffstat (limited to 'system/libraries/User_agent.php')
0 files changed, 0 insertions, 0 deletions