Ticket #18975: #18975.patch

wp-admin/includes/menu.php

@@ -215 +215 @@
 }
 
 // Remove the last menu item if it is a separator.
-$last_menu_key = array_pop( array_keys( $menu ) );
+$array_keys = array_keys( $menu );
+$last_menu_key = array_pop( $array_keys );
 if ( !empty( $menu ) && 'wp-menu-separator' == $menu[ $last_menu_key ][ 4 ] )
         unset( $menu[ $last_menu_key ] );
 unset( $last_menu_key );