dir_edit = You cannot edit directories.
dir_no_create = You have not enough permissions to create a file in directory '{DIR}'.
dir_not_exist = The directory where you want to create this file or directory does not exist.
-dir_read_fail = Reading of directory '{DIR}' failed.
+dir_read_failed = Reading of directory '{DIR}' failed.
dir_replace = You are not allowed to replace a directory.
edit_failed = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
edit_file_changed = The file you want to edit changed meanwhile. Now, it looks like this: <a href="{SCRIPT}?command=show&file={FILE_URL}">{FILE}</a>. Please try to merge these two versions of the file or save your version of the file using a different name.
exist_no_write = The target file '{FILE}' already exists and you have not enough permissions to replace it.
file_exists = A file or directory called '{FILE}' already exists.
file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
+forbidden_file = Dev-Editor is configured to forbid accessing this file.
invalid_group = '{GROUP}' seems to be an invalid group name. Please check it and try again.
+invalid_mode = To change the group of a file or directory, you have to enter an octal number which has at least three digits.
invalid_upload = It seems that something is wrong with the file upload you want to submit.
link_copy = Copying symbolic links does not work.
link_edit = For security reasons, you cannot edit the target file of a symbolic link.