diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-admin/admin-functions.php
--- a/wp/wp-admin/admin-functions.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/admin-functions.php	Tue Dec 15 13:49:49 2020 +0100
@@ -12,4 +12,4 @@
 _deprecated_file( basename( __FILE__ ), '2.5.0', 'wp-admin/includes/admin.php' );
 
 /** WordPress Administration API: Includes all Administration functions. */
-require_once( ABSPATH . 'wp-admin/includes/admin.php' );
+require_once ABSPATH . 'wp-admin/includes/admin.php';