@@ -801,7 +801,7 @@ |
||
801 | 801 | |
802 | 802 | /** |
803 | 803 | * Output the pagination. |
804 | - */ |
|
804 | + */ |
|
805 | 805 | function woocommerce_pagination() { |
806 | 806 | if ( ! wc_get_loop_prop( 'is_paginated' ) || ! woocommerce_products_will_display() ) { |
807 | 807 | return; |