diff options
| author | admin <devnull@localhost> | 2006-10-09 19:36:45 +0200 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-10-09 19:36:45 +0200 |
| commit | 2f0bac87c73febde8019e7cbab541905bcb0e5dd (patch) | |
| tree | af7a205f00ef4eb17ff0f56a38a54ff1be069168 /system/libraries/User_agent.php | |
| parent | 3822194cde4614137a54eecb1e1fcc86672e84a1 (diff) | |
Diffstat (limited to 'system/libraries/User_agent.php')
| -rw-r--r-- | system/libraries/User_agent.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/system/libraries/User_agent.php b/system/libraries/User_agent.php index 21162388a..39e12327f 100644 --- a/system/libraries/User_agent.php +++ b/system/libraries/User_agent.php @@ -113,8 +113,7 @@ class CI_User_agent { unset($robots); $return = TRUE; } - - + return $return; } |