woothemes/woocommerce — pull request #5628 by tszming (2014-06-06 16:37:21+00:00)
Title: Add filter to allow override the cache widget id

Allow override the cache widget id so it fix the issue when you use the object cache dropin and wpml at the same time.