diff options
| author | vlakoff <vlakoff@gmail.com> | 2013-01-14 01:30:09 +0100 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2013-01-14 01:30:09 +0100 |
| commit | 1228fe27bc1f22838cd80c5fe33c37274faf0e24 (patch) | |
| tree | 897f37e872fde0863b36a70effc9441ac0dfb529 /system/libraries/User_agent.php | |
| parent | 5a519db2c4884a3972dd33e09d0b3a314aa222e2 (diff) | |
Replace is_null() with === / !== NULL
Exact same behavior, but faster. I also think it's more readable.
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(); } |