diff --git a/lib/medialib.php b/lib/medialib.php index d59fe5777ce..89baa895974 100644 --- a/lib/medialib.php +++ b/lib/medialib.php @@ -1176,7 +1176,7 @@ class core_media_player_html5audio extends core_media_player { $fallback = core_media_player::PLACEHOLDER; return << +