diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-includes/customize/class-wp-customize-new-menu-control.php
--- /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 @@
+
+
+
+