Index: wp-admin/includes/misc.php
===================================================================
--- wp-admin/includes/misc.php	(revision 55360)
+++ wp-admin/includes/misc.php	(working copy)
@@ -489,6 +489,10 @@
  * Outputs the formatted file list for the plugin file editor.
  *
  * @since 4.9.0
+ * 
+ * @global string      $plugin Plugin basename.
+ * @global string      $file Path to file.
+ * 
  * @access private
  *
  * @param array|string $tree  List of file/folder paths, or filename.
Index: wp-admin/menu.php
===================================================================
--- wp-admin/menu.php	(revision 55360)
+++ wp-admin/menu.php	(working copy)
@@ -21,6 +21,7 @@
  * @global array $menu
  */
 
+
 $menu[2] = array( __( 'Dashboard' ), 'read', 'index.php', '', 'menu-top menu-top-first menu-icon-dashboard', 'menu-dashboard', 'dashicons-dashboard' );
 
 $submenu['index.php'][0] = array( __( 'Home' ), 'read', 'index.php' );