--- a/wp/wp-includes/customize/class-wp-customize-code-editor-control.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-code-editor-control.php	Mon Oct 14 18:28:13 2019 +0200
@@ -47,16 +47,18 @@
 	 * @since 4.9.0
 	 */
 	public function enqueue() {
-		$this->editor_settings = wp_enqueue_code_editor( array_merge(
-			array(
-				'type' => $this->code_type,
-				'codemirror' => array(
-					'indentUnit' => 2,
-					'tabSize' => 2,
+		$this->editor_settings = wp_enqueue_code_editor(
+			array_merge(
+				array(
+					'type'       => $this->code_type,
+					'codemirror' => array(
+						'indentUnit' => 2,
+						'tabSize'    => 2,
+					),
 				),
-			),
-			$this->editor_settings
-		) );
+				$this->editor_settings
+			)
+		);
 	}
 
 	/**
@@ -68,9 +70,9 @@
 	 * @return array Array of parameters passed to the JavaScript.
 	 */
 	public function json() {
-		$json = parent::json();
+		$json                    = parent::json();
 		$json['editor_settings'] = $this->editor_settings;
-		$json['input_attrs'] = $this->input_attrs;
+		$json['input_attrs']     = $this->input_attrs;
 		return $json;
 	}