WP_Customize_Nav_Menu_Setting::__construct( WP_Customize_Manager $manager, string $id, array $args = array() )

135	public function __construct( WP_Customize_Manager $manager, $id, array $args = array() ) {136		if ( empty( $manager->nav_menus ) ) {137			throw new Exception( 'Expected WP_Customize_Manager::$nav_menus to be set.' );138		}139 140		if ( ! preg_match( self::ID_PATTERN, $id, $matches ) ) {141			throw new Exception( "Illegal widget setting ID: $id" );142		}143 144		$this->term_id = (int) $matches['id'];145 146		parent::__construct( $manager, $id, $args );147	}