PHPDoc in /wp-content/plugins/woocommerce/woocommerce.php