--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/customize/class-wp-customize-new-menu-control.php	Mon Oct 14 17:39:30 2019 +0200
@@ -0,0 +1,54 @@
+<?php
+/**
+ * Customize API: WP_Customize_New_Menu_Control class
+ *
+ * @package WordPress
+ * @subpackage Customize
+ * @since 4.4.0
+ * @deprecated 4.9.0 This file is no longer used as of the menu creation UX introduced in #40104.
+ */
+
+/**
+ * Customize control class for new menus.
+ *
+ * @since 4.3.0
+ * @deprecated 4.9.0 This class is no longer used as of the menu creation UX introduced in #40104.
+ *
+ * @see WP_Customize_Control
+ */
+class WP_Customize_New_Menu_Control extends WP_Customize_Control {
+
+	/**
+	 * Control type.
+	 *
+	 * @since 4.3.0
+	 * @var string
+	 */
+	public $type = 'new_menu';
+
+	/**
+	 * Constructor.
+	 *
+	 * @since 4.9.0
+	 *
+	 * @param WP_Customize_Manager $manager Manager.
+	 * @param string               $id      ID.
+	 * @param array                $args    Args.
+	 */
+	public function __construct( WP_Customize_Manager $manager, $id, array $args = array() ) {
+		_deprecated_file( basename( __FILE__ ), '4.9.0' ); // @todo Move this outside of class in 5.0, and remove its require_once() from class-wp-customize-control.php. See #42364.
+		parent::__construct( $manager, $id, $args );
+	}
+
+	/**
+	 * Render the control's content.
+	 *
+	 * @since 4.3.0
+	 */
+	public function render_content() {
+		?>
+		<button type="button" class="button button-primary" id="create-new-menu-submit"><?php _e( 'Create Menu' ); ?></button>
+		<span class="spinner"></span>
+		<?php
+	}
+}