From c5e4aebf29dce40f8243f79451abc5264cd21fab Mon Sep 17 00:00:00 2001
From: sam_marshall <sam_marshall>
Date: Tue, 24 Apr 2007 11:49:50 +0000
Subject: [PATCH] MDL-9556: HTML editor shortcut button should only appear when
 JS enabled

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

diff --git a/lib/weblib.php b/lib/weblib.php
index d0b773fc07b..66e38ac096f 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -3817,7 +3817,9 @@ function print_textarea($usehtmleditor, $rows, $cols, $width, $height, $name, $v
     $str .= '</textarea>'."\n";
 
 	if ($usehtmleditor) {
-		$str .= editorshortcutshelpbutton();
+        // Show shortcuts button if HTML editor is in use, but only if JavaScript is enabled (MDL-9556)
+		$str .= '<script type="text/javascript">document.write(\''.
+            str_replace('\'','\\\'',editorshortcutshelpbutton()).'\'); </script>';
 	}
 
     if ($return) {