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.
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.