Index: wp-admin/menu.php
===================================================================
--- wp-admin/menu.php	(revision 7414)
+++ wp-admin/menu.php	(working copy)
@@ -63,8 +63,11 @@
 $submenu['options-general.php'][35] = array(__('Permalinks'), 'manage_options', 'options-permalink.php');
 $submenu['options-general.php'][40] = array(__('Miscellaneous'), 'manage_options', 'options-misc.php');
 
-$submenu['plugins.php'][5] = array(__('Plugins'), 'activate_plugins', 'plugins.php');
-$submenu['plugins.php'][10] = array(__('Plugin Editor'), 'edit_plugins', 'plugin-editor.php');
+$plugins = get_plugins();
+if ( empty( $plugins ) !== true ) {
+	$submenu['plugins.php'][5] = array(__('Plugins'), 'activate_plugins', 'plugins.php');
+	$submenu['plugins.php'][10] = array(__('Plugin Editor'), 'edit_plugins', 'plugin-editor.php');
+}
 
 $submenu['themes.php'][5] = array(__('Themes'), 'switch_themes', 'themes.php');
 $submenu['themes.php'][10] = array(__('Theme Editor'), 'edit_themes', 'theme-editor.php');