diff --git a/mod/hotpot/mod.html b/mod/hotpot/mod.html index 6972b2ae259..10c3030c9e6 100644 --- a/mod/hotpot/mod.html +++ b/mod/hotpot/mod.html @@ -354,6 +354,7 @@ $text_source_options = array( helpbutton("clickreporting", get_string("clickreporting","hotpot"), "hotpot"); ?> +