Merged from 1.7.

diff --git a/lib/ajax/ajaxlib.php b/lib/ajax/ajaxlib.php
index ad6fa84a481c3515c4abbd959f5c4dcffa11c408..36166ffddf022afce0c12bce4812c1b712b32b40 100644 (file)
--- a/lib/ajax/ajaxlib.php
+++ b/lib/ajax/ajaxlib.php
@@ -50,8 +50,8 @@ function ajaxenabled() {
     global $CFG, $USER;
 
     if (!check_browser_version('MSIE', 6.0)
-                && !check_browser_version('Firefox', 1.5)
-                && !check_browser_version('Camino', '1.0.2')) {
+                && !check_browser_version('Gecko', 20051111)) {
+               // Gecko build 20051111 is what is in Firefox 1.5.
         // We still have issues with AJAX in other browsers.
         return false;
     }