From ecf61fc38266500ae1de9ed2254a53d7c3201dea Mon Sep 17 00:00:00 2001
From: rboren <rboren@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Thu, 17 Feb 2005 16:05:45 +0000
Subject: [PATCH] Plugin option pages aren't displayed.
 http://mosquito.wordpress.org/view.php?id=902

git-svn-id: http://svn.automattic.com/wordpress/trunk@2362 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-admin/menu-header.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wp-admin/menu-header.php b/wp-admin/menu-header.php
index 71536a1ab1..9a06ea1663 100644
--- a/wp-admin/menu-header.php
+++ b/wp-admin/menu-header.php
@@ -40,8 +40,8 @@ else if (isset($submenu_file) && $submenu_file == substr($item[2], -10)) $class
 else $class = '';
 
 if (file_exists(ABSPATH . "wp-content/plugins/{$item[2]}")) {
-	$page_hook = get_plugin_page_hook($item[2], $parent_file);
-	if ( $page_hook )
+	$menu_hook = get_plugin_page_hook($item[2], $parent_file);
+	if ( $menu_hook )
 		echo "\n\t<li><a href='" . get_settings('siteurl') . "/wp-admin/{$parent_file}?page={$item[2]}'$class>{$item[0]}</a></li>";		
 	else
 		echo "\n\t<li><a href='" . get_settings('siteurl') . "/wp-admin/admin.php?page={$item[2]}'$class>{$item[0]}</a></li>";