Product Filter for WooCommerce 9.0.3

- fixed WooCommerce 3.3.x compatibility bugs and issues
- fixed saving default preset (wc 3.3.x bugs)
- fixed result-count.php template new standards (wc 3.3.x bugs)
- fixed pagination.php template new standards (wc 3.3.x bugs)
- fixed category loops (wc 3.3.x bugs)
- fixed remove selected overrides and remove all overrides
- fixed create_function & PHP 7.2.0
- improved terms style manager (paint bucket tool)
- improved terms manager (cogs tool)
- improved overrides display
- improved admin layout a bit

- fixed limit height/max-height option when used with multiple filters
- fixed multiple filters per page clear all bugs and issues
- fixed more wpml currency issues
- fixed woof currency switcher price filtering
- fixed limit height/max-height range and search filter bug
- improved CSS styling, the arrow modes are changed the most
- improved admin pages

- fixed automatic updates not working
- fixed term includes and support special characters
- fixed mobile filter interference bugs
- fixed rtl support