Fix notice with edit enabled in site page. Merged from 19_STABLE

diff --git a/blocks/site_main_menu/block_site_main_menu.php b/blocks/site_main_menu/block_site_main_menu.php
index 50bce7ca8f6d5fab83596eba19162d6a0ed8394c..4072548e25aa2f514ef5db9d11f9ee576a4551dc 100644 (file)
--- a/blocks/site_main_menu/block_site_main_menu.php
+++ b/blocks/site_main_menu/block_site_main_menu.php
@@ -159,7 +159,7 @@ class block_site_main_menu extends block_list {
             $this->content->icons[] = '';
         }
 
-        if ($modnames) {
+        if (!empty($modnames)) {
             $this->content->footer = print_section_add_menus($course, 0, $modnames, true, true);
         } else {
             $this->content->footer = '';