diff --git a/lib/outputcomponents.php b/lib/outputcomponents.php index 7cea429543a..79f01e0db2c 100644 --- a/lib/outputcomponents.php +++ b/lib/outputcomponents.php @@ -2370,6 +2370,10 @@ class custom_menu extends custom_menu_item { * @return array */ public static function convert_text_to_menu_nodes($text) { + $text = format_text($text, FORMAT_MOODLE, array( + 'para' => false, + 'newlines' => false, + 'context' => get_system_context())); $lines = explode("\n", $text); $children = array(); $lastchild = null;