From a194510a9ce7063c20a34a836fbf02e43b0f2aaf Mon Sep 17 00:00:00 2001
From: vyshane <vyshane>
Date: Fri, 2 Feb 2007 06:40:22 +0000
Subject: [PATCH] print_header now calls require_js() to print out html that
loads JavaScript libraries.
---
lib/weblib.php | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/lib/weblib.php b/lib/weblib.php
index 9623495c03..00d82da646 100644
--- 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
--
2.39.5