From f130a9d81002811518f1cc02119d4a2f2dd8df29 Mon Sep 17 00:00:00 2001
From: sam_marshall <sam_marshall>
Date: Tue, 24 Apr 2007 11:59:17 +0000
Subject: [PATCH] Merged 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 823c222018..4d1749e509 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -3862,7 +3862,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) {
-- 
2.39.5