Error while copying from wp-content/plugins/elementor-pro/modules/element-manager/options.php to wp-content/plugins/elementor-pro/vendor_prefixed/laravel/options.php