--- a/wp/wp-includes/customize/class-wp-customize-nav-menus-panel.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-nav-menus-panel.php	Mon Oct 14 18:28:13 2019 +0200
@@ -96,6 +96,6 @@
 		// NOTE: The following is a workaround for an inability to treat (and thus label) a list of sections as a whole.
 		?>
 		<li class="customize-control-title customize-section-title-nav_menus-heading"><?php _e( 'Menus' ); ?></li>
-	<?php
+		<?php
 	}
 }