diff options
Diffstat (limited to 'user_guide/libraries/user_agent.html')
| -rw-r--r-- | user_guide/libraries/user_agent.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user_guide/libraries/user_agent.html b/user_guide/libraries/user_agent.html index 6028f7981..86403205d 100644 --- a/user_guide/libraries/user_agent.html +++ b/user_guide/libraries/user_agent.html @@ -12,7 +12,7 @@ <script type="text/javascript" src="../nav/moo.fx.js"></script>
<script type="text/javascript">
window.onload = function() {
- myHeight = new fx.Height('nav', {duration: 400});
+ myHeight = new fx.Height('nav', {duration: 400});
myHeight.hide();
}
</script>
@@ -126,7 +126,7 @@ echo $this->agent->platform(); // Platform info (Windows, Linux, Mac, etc.) <p>Returns TRUE/FALSE (boolean) if the user agent is a known robot.</p>
<p class="important"><strong>Note:</strong> The user agent library only contains the most common robot
-definitions. It is not a complete list of bots. There are hundreds of them so searching for each one would not be
+definitions. It is not a complete list of bots. There are hundreds of them so searching for each one would not be
very efficient. If you find that some bots that commonly visit your site are missing from the list you can add them to your
<dfn>application/config/user_agents.php</dfn> file.</p>
|