woothemes/woocommerce — pull request #1434 by kingbt (2012-08-25 13:00:54+00:00)
Title: Update templates/loop/pagination.php

Hack. Support wp-pagenavi for better pagination.