Porto - Multipurpose WooCommerce Theme 7.1.0

- Fixed php notice in inc/plugins/importer/porto-parsers.php
- Fixed background image issue for some shortcodes
- Fixed errors in W3C CSS Validator
- Fixed banner style issue on boxed layout
- Fixed an issue which tooltips were not displayed in live options panel

- Fixed variable product attribute issue caused by woo 3.5.1 release

+ Added availability to switch into original theme options panel. You can use both new live panel and original panel as your choice.
- Updated porto functionality plugin to 1.1.4
- Fixed php warning in style-internal.php