-$menu[75] = array( __('Tools'), 'read', 'tools.php', '', 'menu-top', 'menu-tools', 'div' );
- $submenu['tools.php'][5] = array( __('Tools'), 'read', 'tools.php' );
- $submenu['tools.php'][10] = array( __('Import'), 'import', 'import.php' );
- $submenu['tools.php'][15] = array( __('Export'), 'import', 'export.php' );
- $submenu['tools.php'][20] = array( __('Upgrade'), 'install_plugins', 'update-core.php');
-
-$menu[80] = array( __('Settings'), 'manage_options', 'options-general.php', '', 'menu-top', 'menu-settings', 'div' );
- $submenu['options-general.php'][10] = array(__('General'), 'manage_options', 'options-general.php');
- $submenu['options-general.php'][15] = array(__('Writing'), 'manage_options', 'options-writing.php');
- $submenu['options-general.php'][20] = array(__('Reading'), 'manage_options', 'options-reading.php');
- $submenu['options-general.php'][25] = array(__('Discussion'), 'manage_options', 'options-discussion.php');
- $submenu['options-general.php'][30] = array(__('Media'), 'manage_options', 'options-media.php');
- $submenu['options-general.php'][35] = array(__('Privacy'), 'manage_options', 'options-privacy.php');
- $submenu['options-general.php'][40] = array(__('Permalinks'), 'manage_options', 'options-permalink.php');
- $submenu['options-general.php'][45] = array(__('Miscellaneous'), 'manage_options', 'options-misc.php');
-
-$_wp_last_utility_menu = 80; // The index of the last top-level menu in the utility menu group
-
-$menu[99] = array( '', 'read', 'separator-last', '', 'wp-menu-separator-last' );