--- a/wp/wp-admin/user/menu.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-admin/user/menu.php	Mon Oct 14 18:28:13 2019 +0200
@@ -7,16 +7,16 @@
  * @since 3.1.0
  */
 
-$menu[2] = array(__('Dashboard'), 'exist', 'index.php', '', 'menu-top menu-top-first menu-icon-dashboard', 'menu-dashboard', 'dashicons-dashboard');
+$menu[2] = array( __( 'Dashboard' ), 'exist', 'index.php', '', 'menu-top menu-top-first menu-icon-dashboard', 'menu-dashboard', 'dashicons-dashboard' );
 
 $menu[4] = array( '', 'exist', 'separator1', '', 'wp-menu-separator' );
 
-$menu[70] = array( __('Profile'), 'exist', 'profile.php', '', 'menu-top menu-icon-users', 'menu-users', 'dashicons-admin-users' );
+$menu[70] = array( __( 'Profile' ), 'exist', 'profile.php', '', 'menu-top menu-icon-users', 'menu-users', 'dashicons-admin-users' );
 
 $menu[99] = array( '', 'exist', 'separator-last', '', 'wp-menu-separator' );
 
 $_wp_real_parent_file['users.php'] = 'profile.php';
-$compat = array();
-$submenu = array();
+$compat                            = array();
+$submenu                           = array();
 
-require_once(ABSPATH . 'wp-admin/includes/menu.php');
+require_once( ABSPATH . 'wp-admin/includes/menu.php' );