Index: plugin.php
===================================================================
--- plugin.php	(revision 12350)
+++ plugin.php	(working copy)
@@ -67,15 +67,15 @@
  */
 function get_plugin_data( $plugin_file, $markup = true, $translate = true ) {
 
-	$default_headers = array( 
-		'Name' => 'Plugin Name', 
-		'PluginURI' => 'Plugin URI', 
-		'Version' => 'Version', 
-		'Description' => 'Description', 
-		'Author' => 'Author', 
-		'AuthorURI' => 'Author URI', 
-		'TextDomain' => 'Text Domain', 
-		'DomainPath' => 'Domain Path' 
+	$default_headers = array(
+		'Name' => 'Plugin Name',
+		'PluginURI' => 'Plugin URI',
+		'Version' => 'Version',
+		'Description' => 'Description',
+		'Author' => 'Author',
+		'AuthorURI' => 'Author URI',
+		'TextDomain' => 'Text Domain',
+		'DomainPath' => 'Domain Path'
 		);
 
 	$plugin_data = get_file_data( $plugin_file, $default_headers, 'plugin' );
@@ -726,6 +726,10 @@
 	return add_submenu_page( 'edit-comments.php', $page_title, $menu_title, $access_level, $file, $function );
 }
 
+function add_plugins_page( $page_title, $menu_title, $access_level, $file, $function = '' ) {
+	return add_submenu_page( 'plugins.php', $page_title, $menu_title, $access_level, $file, $function );
+}
+
 //
 // Pluggable Menu Support -- Private
 //