diff --git a/mod/resource/type/ims/resource.class.php b/mod/resource/type/ims/resource.class.php index b1c9ce0b4ae..a56f3286480 100644 --- a/mod/resource/type/ims/resource.class.php +++ b/mod/resource/type/ims/resource.class.php @@ -487,7 +487,7 @@ class resource_ims extends resource_base { /// Now, let's print the footer. It's harcoded here to save some space /// because it's impossible to use print_footer() to print NOTHING /// Added programatic support to customcorners themes. - if ($THEME->customcorners) { + if (!empty($THEME->customcorners)) { print_custom_corners_end(); } echo ''; /// Close everything.