diff --git a/lib/weblib.php b/lib/weblib.php
index 219fb95817b..3fd2e540c96 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4327,8 +4327,11 @@ function print_textarea($usehtmleditor, $rows, $cols, $width, $height, $name, $v
if ($usehtmleditor) {
// Show shortcuts button if HTML editor is in use, but only if JavaScript is enabled (MDL-9556)
- $str .= '';
+ $str .= '';
}
if ($return) {