woothemes/woocommerce — pull request #5987 by afurculita (2014-08-07 18:26:09+00:00)
Title: Update wc-deprecated-functions.php

Help IDE-s find and highlight the deprecated stuff. Good for WooCommerce plugin and theme developers