Error while copying from wp-content/plugins/elementor/includes/widgets/text-editor.php to wp-content/plugins/woocommerce/includes/legacy/api/text-editor.php