Index: UserSettings.php
===================================================================
--- UserSettings.php	(Revision 1115)
+++ UserSettings.php	(Arbeitskopie)
@@ -31,7 +31,7 @@
 	static public $browserType = array(
 		"ie"	=> array("IE"),
 		"gecko" => array("NS", "PX", "FF", "FB", "CA", "GA", "KM", "MO", "SM"),
-		"khtml" => array("SF", "KO", "OW", "CH"),
+		"khtml" => array("SF", "KO", "OW", "CH", "AR"),
 		"opera" => array("OP")
 	);