diff --git a/repository/lib.php b/repository/lib.php
index 59dc1911dfe..08fbbd90f5b 100644
--- a/repository/lib.php
+++ b/repository/lib.php
@@ -593,7 +593,7 @@ EOD;
     <script type="text/javascript" src="$CFG->wwwroot/lib/yui/json/json-min.js"></script>
     <script type="text/javascript" src="$CFG->wwwroot/lib/yui/button/button-min.js"></script>
     <script type="text/javascript" src="$CFG->wwwroot/lib/yui/selector/selector-beta-min.js"></script>
-    <script>
+    <script type="text/javascript">
 //<![CDATA[
     var repository_client_$suffix = (function() {
         // private static field