<?php

namespace AneOrk;
    
// Add an old school Manage Menus link under the Appearance admin menu, so you can easily rename or delete menus
// (but you can't really edit them otherwise)
// from: https://developer.wordpress.org/reference/hooks/admin_menu/#comment-4196
// from: https://developer.wordpress.org/reference/functions/add_submenu_page/#comment-4324
function add_manage_menus() {
	\add_submenu_page( 'themes.php', 'Navigation Menus', 'Navigation Menus', 'manage_options', 'edit.php?post_type=wp_navigation' );
}

\add_action('admin_menu', '\AneOrk\add_manage_menus');