Merged from 1.7

diff --git a/lib/ajax/ajaxlib.php b/lib/ajax/ajaxlib.php
index 04bbf72b8e1bb9c42a5abe1035581688a14c4936..19812cadce026a3ac5f563f9a04932832f118b31 100644 (file)
--- a/lib/ajax/ajaxlib.php
+++ b/lib/ajax/ajaxlib.php
@@ -11,7 +11,7 @@ function require_js($list) {
 
     if (!check_browser_version('MSIE', 6.0)
                 && !check_browser_version('Firefox', 1.5)
-                && !check_browser_version('Camino', 1.0.2)) {
+                && !check_browser_version('Camino', '1.0.2')) {
         // We still have issues with AJAX in other browsers.
         return;
     }