From 352443515900562455c527940754421fd051527e Mon Sep 17 00:00:00 2001
From: defacer <defacer>
Date: Mon, 7 Feb 2005 23:56:54 +0000
Subject: [PATCH] The W3C valid way to write script tags is <script
 type="text/javascript">.

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 1f680e3f49..54583e6abd 100644
--- 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";
-- 
2.39.5