WP_Widget_Form_Customize_Control

17class WP_Widget_Form_Customize_Control extends WP_Customize_Control {18	/**19	 * Customize control type.20	 *21	 * @since 3.9.022	 * @var string23	 */24	public $type = 'widget_form';25 26	/**27	 * Widget ID.28	 *29	 * @since 3.9.030	 * @var string31	 */32	public $widget_id;33 34	/**35	 * Widget ID base.36	 *37	 * @since 3.9.038	 * @var string39	 */40	public $widget_id_base;41 42	/**43	 * Sidebar ID.44	 *45	 * @since 3.9.046	 * @var string47	 */48	public $sidebar_id;49 50	/**51	 * Widget status.52	 *53	 * @since 3.9.054	 * @var bool True if new, false otherwise. Default false.55	 */56	public $is_new = false;57 58	/**59	 * Widget width.60	 *61	 * @since 3.9.062	 * @var int63	 */64	public $width;65 66	/**67	 * Widget height.68	 *69	 * @since 3.9.070	 * @var int71	 */72	public $height;73 74	/**75	 * Widget mode.76	 *77	 * @since 3.9.078	 * @var bool True if wide, false otherwise. Default false.79	 */80	public $is_wide = false;81 82	/**83	 * Gather control params for exporting to JavaScript.84	 *85	 * @since 3.9.086	 *87	 * @global array $wp_registered_widgets88	 */89	public function to_json() {90		global $wp_registered_widgets;91 92		parent::to_json();93		$exported_properties = array( 'widget_id', 'widget_id_base', 'sidebar_id', 'width', 'height', 'is_wide' );94		foreach ( $exported_properties as $key ) {95			$this->json[ $key ] = $this->$key;96		}