Load overlib.js as an external Javascript file, on all pages

diff --git a/lib/javascript.php b/lib/javascript.php
index 07dfe26790752d200830a59de77965fb487ae18c..10bd3ac17cd9e690592f98c5c19220591301dea2 100644 (file)
--- a/lib/javascript.php
+++ b/lib/javascript.php
@@ -1,3 +1,5 @@
+<script language="JavaScript" type="text/javascript"\r
+        src="<?php echo "$CFG->wwwroot/lib/overlib.js" ?>"></script>\r
 \r
 <script language="JavaScript">\r
 <!-- //hide\r