WP_Widget_Search::widget( array $args, array $instance )

43	public function widget( $args, $instance ) {44		$title = ! empty( $instance['title'] ) ? $instance['title'] : '';45 46		/** This filter is documented in wp-includes/widgets/class-wp-widget-pages.php */47		$title = apply_filters( 'widget_title', $title, $instance, $this->id_base );48 49		echo $args['before_widget'];50		if ( $title ) {51			echo $args['before_title'] . $title . $args['after_title'];52		}53 54		// Use active theme search form if it exists.55		get_search_form();56 57		echo $args['after_widget'];58	}