diff options
| author | Andrey Andreev <narf@bofh.bg> | 2013-01-15 03:41:02 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@bofh.bg> | 2013-01-15 03:41:02 +0100 |
| commit | b26bb6ef76eb2f8327dafe085ae6bca14c22160b (patch) | |
| tree | a9592331df604d054037a3759819a774fcf1410f /system/libraries/User_agent.php | |
| parent | 5b60a3bb74d39b8718081cb62c21f9f48e7a4a87 (diff) | |
| parent | 912f1bcbc3d4f9b09695ab784d6985efbc4c9235 (diff) | |
Merge pull request #2152 from vlakoff/develop
Replace is_null() with === / !== NULL
Diffstat (limited to 'system/libraries/User_agent.php')
| -rw-r--r-- | system/libraries/User_agent.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/User_agent.php b/system/libraries/User_agent.php index 542deb738..1f4b2fa52 100644 --- a/system/libraries/User_agent.php +++ b/system/libraries/User_agent.php @@ -158,7 +158,7 @@ class CI_User_agent { $this->agent = trim($_SERVER['HTTP_USER_AGENT']); } - if ( ! is_null($this->agent) && $this->_load_agent_file()) + if ($this->agent !== NULL && $this->_load_agent_file()) { $this->_compile_data(); } |