diff --git a/lib/javascript.php b/lib/javascript.php
index 07dfe267907..10bd3ac17cd 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