--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/customize/class-wp-customize-nav-menu-control.php	Mon Oct 14 17:39:30 2019 +0200
@@ -0,0 +1,75 @@
+<?php
+/**
+ * Customize API: WP_Customize_Nav_Menu_Control class
+ *
+ * @package WordPress
+ * @subpackage Customize
+ * @since 4.4.0
+ */
+
+/**
+ * Customize Nav Menu Control Class.
+ *
+ * @since 4.3.0
+ */
+class WP_Customize_Nav_Menu_Control extends WP_Customize_Control {
+
+	/**
+	 * Control type.
+	 *
+	 * @since 4.3.0
+	 * @var string
+	 */
+	public $type = 'nav_menu';
+
+	/**
+	 * Don't render the control's content - it uses a JS template instead.
+	 *
+	 * @since 4.3.0
+	 */
+	public function render_content() {}
+
+	/**
+	 * JS/Underscore template for the control UI.
+	 *
+	 * @since 4.3.0
+	 */
+	public function content_template() {
+		$add_items = __( 'Add Items' );
+		?>
+		<p class="new-menu-item-invitation">
+			<?php
+			printf(
+				/* translators: %s: "Add Items" button text */
+				__( 'Time to add some links! Click &#8220;%s&#8221; to start putting pages, categories, and custom links in your menu. Add as many things as you&#8217;d like.' ),
+				$add_items
+			);
+			?>
+		</p>
+		<div class="customize-control-nav_menu-buttons">
+			<button type="button" class="button add-new-menu-item" aria-label="<?php esc_attr_e( 'Add or remove menu items' ); ?>" aria-expanded="false" aria-controls="available-menu-items">
+				<?php echo $add_items; ?>
+			</button>
+			<button type="button" class="button-link reorder-toggle" aria-label="<?php esc_attr_e( 'Reorder menu items' ); ?>" aria-describedby="reorder-items-desc-{{ data.menu_id }}">
+				<span class="reorder"><?php _e( 'Reorder' ); ?></span>
+				<span class="reorder-done"><?php _e( 'Done' ); ?></span>
+			</button>
+		</div>
+		<p class="screen-reader-text" id="reorder-items-desc-{{ data.menu_id }}"><?php _e( 'When in reorder mode, additional controls to reorder menu items will be available in the items list above.' ); ?></p>
+		<?php
+	}
+
+	/**
+	 * Return parameters for this control.
+	 *
+	 * @since 4.3.0
+	 *
+	 * @return array Exported parameters.
+	 */
+	public function json() {
+		$exported            = parent::json();
+		$exported['menu_id'] = $this->setting->term_id;
+
+		return $exported;
+	}
+}