Add 'woocommerce_product_short_description_editor_settings' filter to allow modification of the settings for the wp_editor in the product short description meta-box.
Merge pull request #4583 from emzo/product-short-description-editor-settings

Filter to allow modification of wp_editor settings for product short description