woothemes/woocommerce — pull request #5560 by coenjacobs (2014-05-26 14:19:12+00:00)
Title: Removed unused TinyMCE button

Closes #5130