diff --git a/mod/resource/type/file/resource.class.php b/mod/resource/type/file/resource.class.php index f0f061181a5..a035ea699d4 100644 --- a/mod/resource/type/file/resource.class.php +++ b/mod/resource/type/file/resource.class.php @@ -543,7 +543,7 @@ function display() { } elseif ($resourcetype == 'pdf') { echo '