| commit | 2f0bac87c73febde8019e7cbab541905bcb0e5dd | [log] [tgz] |
|---|---|---|
| author | admin <devnull@localhost> | Mon Oct 09 17:36:45 2006 +0000 |
| committer | admin <devnull@localhost> | Mon Oct 09 17:36:45 2006 +0000 |
| tree | af7a205f00ef4eb17ff0f56a38a54ff1be069168 | |
| parent | 3822194cde4614137a54eecb1e1fcc86672e84a1 [diff] [blame] |
diff --git a/system/libraries/User_agent.php b/system/libraries/User_agent.php index 2116238..39e1232 100644 --- a/system/libraries/User_agent.php +++ b/system/libraries/User_agent.php
@@ -113,8 +113,7 @@ unset($robots); $return = TRUE; } - - + return $return; }