--- a/wp/wp-includes/customize/class-wp-customize-sidebar-section.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-sidebar-section.php	Mon Oct 14 18:28:13 2019 +0200
@@ -40,7 +40,7 @@
 	 * @return array The array to be exported to the client as JSON.
 	 */
 	public function json() {
-		$json = parent::json();
+		$json              = parent::json();
 		$json['sidebarId'] = $this->sidebar_id;
 		return $json;
 	}