diff --git a/dev/tools/phan/config.php b/dev/tools/phan/config.php index 84131432ceb..1938fa9b8e3 100644 --- a/dev/tools/phan/config.php +++ b/dev/tools/phan/config.php @@ -318,6 +318,7 @@ return [ // to `exclude_analysis_directory_list`. "exclude_analysis_directory_list" => [ 'htdocs/includes/', + 'htdocs/install/doctemplates/websites/', 'htdocs/core/class/lessc.class.php', // External library PHAN_DIR . '/stubs/', ], diff --git a/dev/tools/phan/config_extended.php b/dev/tools/phan/config_extended.php index 739cd972d0a..fc9fe8f6fd9 100644 --- a/dev/tools/phan/config_extended.php +++ b/dev/tools/phan/config_extended.php @@ -263,6 +263,7 @@ return [ // to `exclude_analysis_directory_list`. "exclude_analysis_directory_list" => [ 'htdocs/includes/', + 'htdocs/install/doctemplates/websites/', 'htdocs/core/class/lessc.class.php', // External library PHAN_DIR . '/stubs/', ], diff --git a/dev/tools/phan/config_fixer.php b/dev/tools/phan/config_fixer.php index 86f1765defb..b12c94d6468 100644 --- a/dev/tools/phan/config_fixer.php +++ b/dev/tools/phan/config_fixer.php @@ -92,6 +92,7 @@ return [ // to `exclude_analysis_directory_list`. "exclude_analysis_directory_list" => [ 'htdocs/includes/', + 'htdocs/install/doctemplates/websites/', 'htdocs/core/class/lessc.class.php', // External library PHAN_DIR . '/stubs/', ], diff --git a/htdocs/public/error-401.php b/htdocs/public/error-401.php index a160535ff10..6428d3c0c71 100644 --- a/htdocs/public/error-401.php +++ b/htdocs/public/error-401.php @@ -18,15 +18,15 @@

Error


- Sorry. You are not allowed to access this resource. + Sorry. You are not allowed access to this resource.

- + No esta autorizado para acceder a este recurso.
- +
diff --git a/htdocs/theme/eldy/dropdown.inc.php b/htdocs/theme/eldy/dropdown.inc.php index aabf6977fa3..d4d38d82a81 100644 --- a/htdocs/theme/eldy/dropdown.inc.php +++ b/htdocs/theme/eldy/dropdown.inc.php @@ -158,7 +158,7 @@ div#topmenu-global-search-dropdown a::after, div#topmenu-quickadd-dropdown a::af /* * MENU Dropdown */ - + .login_block.usedropdown .logout-btn{ display: none; }