From 67b1b6c2cc65cc8cd6d9e9247ee7161efec75aca Mon Sep 17 00:00:00 2001
From: defacer <defacer>
Date: Thu, 9 Sep 2004 10:26:11 +0000
Subject: [PATCH] Small fixes, moving towards XHTML compliance.

---
 lib/weblib.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index a0a8fdc01b..072397932f 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -157,7 +157,7 @@ function match_referer($goodreferer = "") {
     if (empty($goodreferer)) {
         $goodreferer = qualified_me();
     }
-    
+
     $referer = get_referer();
 
     return (($referer == $goodreferer) or ($referer == "$CFG->wwwroot/"));
@@ -386,7 +386,7 @@ function choose_from_menu ($options, $name, $selected="", $nothing="choose", $sc
     }
 
     if ($script) {
-        $javascript = "onChange=\"$script\"";
+        $javascript = "onchange=\"$script\"";
     } else {
         $javascript = "";
     }
@@ -1828,7 +1828,7 @@ function print_textarea($usehtmleditor, $rows, $cols, $width, $height, $name, $v
         }
     }
 
-    echo "<textarea id=\"$name\" name=\"$name\" rows=\"$rows\" cols=\"$cols\" wrap=\"virtual\">";
+    echo "<textarea id=\"$name\" name=\"$name\" rows=\"$rows\" cols=\"$cols\">";
     p($value);
     echo "</textarea>\n";
 }
@@ -1846,7 +1846,7 @@ function use_html_editor($name="") {
 ///
 /// In most cases no arguments need to be supplied
 
-    echo "<script language=\"javascript\" type=\"text/javascript\" defer=\"1\">\n";
+    echo "<script language=\"javascript\" type=\"text/javascript\" defer=\"defer\">\n";
     print_editor_config();
     if (empty($name)) {
         echo "\nHTMLArea.replaceAll(config);\n";
-- 
2.39.5