Ticket #23767: plugin.php.patch

plugin.php

@@ -1287 +1287 @@
 function remove_menu_page( $menu_slug ) {
         global $menu;
 
+        if ( empty($menu) ) {
+                return false;
+        }
+
         foreach ( $menu as $i => $item ) {
                 if ( $menu_slug == $item[2] ) {
                         unset( $menu[$i] );