woothemes/woocommerce — pull request #2247 by GeertDD (2013-01-16 19:08:52+00:00)
Title: Created the `woocommerce_get_product_ids_on_sale()` function

Keeps things DRY.