--- a/wp/wp-includes/customize/class-wp-customize-nav-menu-control.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-nav-menu-control.php	Mon Oct 14 18:28:13 2019 +0200
@@ -11,6 +11,8 @@
  * Customize Nav Menu Control Class.
  *
  * @since 4.3.0
+ *
+ * @see WP_Customize_Control
  */
 class WP_Customize_Nav_Menu_Control extends WP_Customize_Control {