Error while copying from wp-content/plugins/elementor/core/experiments/manager.php to wp-content/plugins/elementor/core/settings/editor-preferences/manager.php