diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-admin/user/menu.php
--- a/wp/wp-admin/user/menu.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/user/menu.php	Tue Dec 15 13:49:49 2020 +0100
@@ -19,4 +19,4 @@
 $compat                            = array();
 $submenu                           = array();
 
-require_once( ABSPATH . 'wp-admin/includes/menu.php' );
+require_once ABSPATH . 'wp-admin/includes/menu.php';