diff --git a/mod/hotpot/mod.html b/mod/hotpot/mod.html index 7941e234599..b4507e56d92 100644 --- a/mod/hotpot/mod.html +++ b/mod/hotpot/mod.html @@ -296,6 +296,7 @@ $text_source_options = array( helpbutton("clickreporting", get_string("clickreporting","hotpot"), "hotpot"); ?> +