diff --git a/tag/locallib.php b/tag/locallib.php index 7b7cd460185..c4297ee976f 100644 --- a/tag/locallib.php +++ b/tag/locallib.php @@ -200,6 +200,7 @@ function tag_print_search_box($return=false) { $output = $OUTPUT->box_start('','tag-search-box'); $output .= '