--- a/wp/wp-blog-header.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-blog-header.php	Mon Oct 14 18:28:13 2019 +0200
@@ -5,12 +5,12 @@
  * @package WordPress
  */
 
-if ( !isset($wp_did_header) ) {
+if ( ! isset( $wp_did_header ) ) {
 
 	$wp_did_header = true;
 
 	// Load the WordPress library.
-	require_once( dirname(__FILE__) . '/wp-load.php' );
+	require_once( dirname( __FILE__ ) . '/wp-load.php' );
 
 	// Set up the WordPress query.
 	wp();