--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/customize/class-wp-customize-nav-menu-name-control.php	Mon Oct 14 17:39:30 2019 +0200
@@ -0,0 +1,56 @@
+<?php
+/**
+ * Customize API: WP_Customize_Nav_Menu_Name_Control class
+ *
+ * @package WordPress
+ * @subpackage Customize
+ * @since 4.4.0
+ */
+
+/**
+ * Customize control to represent the name field for a given menu.
+ *
+ * @since 4.3.0
+ *
+ * @see WP_Customize_Control
+ */
+class WP_Customize_Nav_Menu_Name_Control extends WP_Customize_Control {
+
+	/**
+	 * Type of control, used by JS.
+	 *
+	 * @since 4.3.0
+	 * @var string
+	 */
+	public $type = 'nav_menu_name';
+
+	/**
+	 * No-op since we're using JS template.
+	 *
+	 * @since 4.3.0
+	 */
+	protected function render_content() {}
+
+	/**
+	 * Render the Underscore template for this control.
+	 *
+	 * @since 4.3.0
+	 */
+	protected function content_template() {
+		?>
+		<label>
+			<# if ( data.label ) { #>
+				<span class="customize-control-title">{{ data.label }}</span>
+			<# } #>
+			<input type="text" class="menu-name-field live-update-section-title"
+				<# if ( data.description ) { #>
+					aria-describedby="{{ data.section }}-description"
+				<# } #>
+				/>
+		</label>
+		<# if ( data.description ) { #>
+			<p id="{{ data.section }}-description">{{ data.description }}</p>
+		<# } #>
+		<?php
+	}
+}