print_header now calls require_js() to print out html that loads JavaScript libraries.

diff --git a/lib/weblib.php b/lib/weblib.php
index 9623495c03a12d447b417d98204aac4b4614e85e..00d82da646dbf756d0e6e6f9f1bc8b1dcb4d85ab 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -41,6 +41,8 @@
 /// We are going to uses filterlib functions here
 require_once("$CFG->libdir/filterlib.php");
 
+require_once("$CFG->libdir/ajax/ajaxlib.php");
+
 /// Constants
 
 /// Define text formatting types ... eventually we can add Wiki, BBcode etc
@@ -1959,6 +1961,10 @@ function print_header ($title='', $heading='', $navigation='', $focus='',
     }
     $meta = $stylesheetshtml.$meta;
 
+
+/// Add the required JavaScript Libraries
+    $meta .= "\n".require_js();
+
         
 /// Add the meta page from the themes if any were requested