diff --git a/htdocs/core/frames.php b/htdocs/core/frames.php index bc10790fe8f..0bab710087b 100644 --- a/htdocs/core/frames.php +++ b/htdocs/core/frames.php @@ -41,6 +41,8 @@ require_once DOL_DOCUMENT_ROOT.'/core/class/menubase.class.php'; * @var int $heightforframes */ +/** @phan-file-suppress PhanUndeclaredGlobalVariable */ + // Load translation files required by the page $langs->load("other"); @@ -105,7 +107,6 @@ if ($keyforcontent) { } else { if (preg_match('/^\//', $menu->url) || preg_match('/^http/i', $menu->url)) { // menu->url is an URL starting with http or / - // @phan-suppress PhanUndeclaredMethod print "
diff --git a/htdocs/core/menus/standard/auguria.lib.php b/htdocs/core/menus/standard/auguria.lib.php index 95e3216397a..7537ccd85e4 100644 --- a/htdocs/core/menus/standard/auguria.lib.php +++ b/htdocs/core/menus/standard/auguria.lib.php @@ -25,6 +25,7 @@ */ require_once DOL_DOCUMENT_ROOT.'/core/class/menubase.class.php'; +/** @phan-file-suppress PhanTypeInvalidDimOffset */ /** * Core function to output top menu auguria @@ -108,10 +109,12 @@ function print_auguria_menu($db, $atarget, $type_user, &$tabMenu, &$menu, $noout } // Modify URL for the case we are using the option showtopmenuinframe + '@phan-var-force array