--- a/wp/wp-admin/profile.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-admin/profile.php	Mon Oct 14 18:28:13 2019 +0200
@@ -12,7 +12,7 @@
  * @since 2.5.0
  * @var bool
  */
-define('IS_PROFILE_PAGE', true);
+define( 'IS_PROFILE_PAGE', true );
 
 /** Load User Editing Page */
 require_once( dirname( __FILE__ ) . '/user-edit.php' );