diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-includes/customize/class-wp-customize-nav-menu-control.php --- /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 @@ + +
+ + + setting->term_id; + + return $exported; + } +}