diff --git a/lib/javascript.php b/lib/javascript.php
index <HASH>..<HASH> 100644
--- a/lib/javascript.php
+++ b/lib/javascript.php
@@ -1,3 +1,5 @@
+<script language="JavaScript" type="text/javascript"

+        src="<?php echo "$CFG->wwwroot/lib/overlib.js" ?>"></script>

 

 <script language="JavaScript">

 <!-- //hide
Load overlib.js as an external Javascript file, on all pages