Index: menu-header.php
===================================================================
--- menu-header.php	(revision 2457)
+++ menu-header.php	(working copy)
@@ -36,9 +36,9 @@
 	 }
 
 if ( isset($submenu_file) ) {
-	if ( substr($submenu_file, -10) == substr($item[2], -10) ) $class = ' class="current"';
+	if ( $submenu_file == $item[2] ) $class = ' class="current"';
 	else $class = '';
-} else if ( (isset($plugin_page) && $plugin_page == $item[2]) || (!isset($plugin_page) && substr($self, -10) == substr($item[2], -10)) ) $class = ' class="current"';
+} else if ( (isset($plugin_page) && $plugin_page == $item[2]) || (!isset($plugin_page) && $self == $item[2]) ) $class = ' class="current"';
 else $class = '';
 
 $menu_hook = get_plugin_page_hook($item[2], $parent_file);