@@ -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; |