Error while copying from wp-content/plugins/woocommerce/packages/woocommerce-admin/src/Features/Settings.php to wp-content/plugins/woocommerce/packages/woocommerce-admin/dist/number/Settings.php