diff --git a/lib/installlib.php b/lib/installlib.php index d69ed351f96..8f033c92c45 100644 --- a/lib/installlib.php +++ b/lib/installlib.php @@ -337,6 +337,7 @@ function install_print_header($config, $stagename, $heading, $stagetext, $stagec echo '