Error while copying from wp-content/plugins/wpide/vendor/rakit/validation/src/Rules/DigitsBetween.php to wp-content/plugins/wp-file-manager/lib/codemirror/mode/erlang/DigitsBetween.php