__( "Search box for products only.", 'woothemes') );
parent::WP_Widget('product_search', __('WooCommerce Product Search', 'woothemes'), $widget_ops);
}
/** @see WP_Widget::widget */
function widget( $args, $instance ) {
extract($args);
$title = $instance['title'];
$title = apply_filters('widget_title', $title, $instance, $this->id_base);
echo $before_widget;
if ($title) echo $before_title . $title . $after_title;
?>