The W3C valid way to write script tags is <script type="text/javascript">.

diff --git a/lib/weblib.php b/lib/weblib.php
index 1f680e3f49356e449578bf664c33f4c741668084..54583e6abd10b65f2f8b6b6335d8edc24cb79ce0 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -3569,7 +3569,7 @@ function print_side_block_start($heading='', $attributes = array()) {
 function print_side_block_end($attributes = array()) {
     echo '</div></td></tr></tbody></table>';
     // js call to set block display state which is saved in cookie.
-    echo "\n <script language=\"JavaScript\"> <!-- //hide ";
+    echo "\n <script type='text/javascript'> <!-- //hide ";
     echo "\n containerDisplaySet(\"".$attributes['id']."\");";
     echo "\n // done hiding --> </script>";
     echo "\n";