/**
 * Replace Woocommerce products search box with standard Wordpress search box
 */
function pbosfc_search()
{
    if (!pbosfc_get_option('use_wp_search')) {
        storefront_product_search();
    } else {
        ?>
		<div class="site-search">
			<?php 
        the_widget('WP_Widget_Search');
        ?>
		</div>
		<?php 
    }
}
 /**
  * The search callback function for the handheld footer bar
  *
  * @since 2.0.0
  */
 function storefront_handheld_footer_bar_search()
 {
     echo '<a href="">' . esc_attr__('Search', 'storefront') . '</a>';
     storefront_product_search();
 }