Making use of format_module_intro()

[David Mudrák]

In view.php, it seems you are manually formatting the module intro text. Please note there's an API helper for that

format_module_intro()

that you may want to use.