Don't include AJAX libraries is AJAX is off across the site

diff --git a/lib/weblib.php b/lib/weblib.php
index cdb35ad9b0eb2db6f36a1e9a343190534c9b1eab..3cc3bd94a46bb197eb24917f514972f10e66c015 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2322,10 +2322,14 @@ function print_header ($title='', $heading='', $navigation='', $focus='',
     $meta = $meta."\n".$metapage;
 
 
-/// Add the required JavaScript Libraries
-    $meta .= "\n".require_js();
+/// Add the required JavaScript Libraries for AJAX
+    if (!empty($CFG->enableajax)) {
+        $meta .= "\n".require_js();
+    }
+
+/// Set up some navigation variables
 
-    if(is_newnav($navigation)){
+    if (is_newnav($navigation)){
         $home = false;
     } else {
         if ($navigation == 'home') {