diff --git a/theme/clean/layout/general.php b/theme/clean/layout/general.php index 8da341b88d7..2e9abc0d8be 100644 --- a/theme/clean/layout/general.php +++ b/theme/clean/layout/general.php @@ -160,9 +160,9 @@ echo $OUTPUT->doctype() ?> -