Replace Storefront Header Search With Default WordPress Search Widget

gistfile1.txt

function storefront_product_search() {
	if ( storefront_is_woocommerce_activated() ) {
	?>
	<div class="site-search">
		<?php the_widget( 'WP_Widget_Search', 'title=' ); ?>
	</div>
	<?php
	}
}