woothemes/woocommerce — pull request #2791 by maxrice (2013-03-22 10:53:52+00:00)
Title: Add woocommerce_time_format() function

I thought it would be convenient to provide the time-compliment to the `woocommerce_date_format` so time formats for everything WC can be filtered as well.