Altered User agent library so that is_browser(), is_mobile() and is_robot() can optionally check for a specific browser or mobile device.
diff --git a/application/config/user_agents.php b/application/config/user_agents.php
index 985deed..e2d3c3a 100644
--- a/application/config/user_agents.php
+++ b/application/config/user_agents.php
@@ -94,6 +94,7 @@
'nokia' => "Nokia",
'palm' => "Palm",
'iphone' => "Apple iPhone",
+ 'ipad' => "iPad",
'ipod' => "Apple iPod Touch",
'sony' => "Sony Ericsson",
'ericsson' => "Sony Ericsson",