Ticket #18857: plugin.diff

(a) plugin.php vs. (b) (clipboard)

@@ -868 +868 @@
 
         $menu_slug = plugin_basename( $menu_slug );
 
-        $admin_page_hooks[$menu_slug] = sanitize_title( $menu_title );
+        $admin_page_hooks[$menu_slug] = $menu_slug;
 
         $hookname = get_plugin_page_hookname( $menu_slug, '' );