$menu ) : // phpcs:ignore WordPress.WP.GlobalVariablesOverride.Prohibited if ( ! $menu['public'] ) { // phpcs:ignore WordPress.WP.GlobalVariablesOverride.Prohibited continue; } ?>