WP_Customize_Nav_Menu_Section

19class WP_Customize_Nav_Menu_Section extends WP_Customize_Section {20 21	/**22	 * Control type.23	 *24	 * @since 4.3.025	 * @var string26	 */27	public $type = 'nav_menu';28 29	/**30	 * Get section parameters for JS.31	 *32	 * @since 4.3.033	 * @return array Exported parameters.34	 */35	public function json() {36		$exported            = parent::json();37		$exported['menu_id'] = (int) preg_replace( '/^nav_menu\[(-?\d+)\]/', '$1', $this->id );38 39		return $exported;40	}41}