There is no need to export error_in_use() any more, because I removed this function.

[devedit.git] / devedit.dat

diff --git a/devedit.dat b/devedit.dat
index 45d469d630a808b0be749d4c12b246cea08b435e..f180caee64ad8f7e985a1546db2373b2282aa95e 100644 (file)
--- a/devedit.dat
+++ b/devedit.dat
@@ -21,6 +21,9 @@ tpl_viewfile        = templates/viewfile.htm
 tpl_editfile        = templates/editfile.htm
 tpl_copyfile        = templates/copyfile.htm
 tpl_renamefile      = templates/renamefile.htm
+tpl_mkfile          = templates/mkfile.htm
+tpl_mkdir           = templates/mkdir.htm
+tpl_upload          = templates/upload.htm
 tpl_confirm_rmfile  = templates/confirm_rmfile.htm
 tpl_confirm_rmdir   = templates/confirm_rmdir.htm
 tpl_confirm_unlock  = templates/confirm_unlock.htm
@@ -35,13 +38,25 @@ tpl_error           = templates/error.htm
 err_binary        = This editor is not able to view/edit binary files.
 err_editdir       = You cannot edit directories.
 err_noedit        = You have not enough permissions to edit this file.
+err_file_in_use   = The file '{FILE}' is currently edited by someone else.
 err_edit_failed   = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 err_delete_failed = Could not delete file '{FILE}'.
+err_dir_read_fail = Reading of directory '{DIR}' failed.
+err_mkfile_failed = Could not create file '{FILE}'.
+err_mkdir_failed  = Could not create directory '{DIR}'.
+err_copy_failed   = Could not copy '{FILE}' to '{NEW_FILE}'.
+err_rename_failed = Could not move/rename '{FILE}' to '{NEW_FILE}'.
 err_above_root    = Accessing files and directories above the virtual root directory is forbidden.
 err_create_ar     = You aren't allowed to create files and directories above the virtual root directory.
-err_dir_read_fail = Reading of directory '{DIR}' failed.
+err_file_exists   = A file or directory called '{FILE}' already exists.
+err_exist_edited  = The target file '{FILE}' already exists and is edited by someone else.
+err_in_use        = The file '{FILE}' is currently edited by someone else.
 err_noview        = You have not enough permissions to view this file.
 err_nocopy        = You have not enough permissions to copy this file.
 err_dircopy       = This editor is not able to copy directories.
+err_cmd_unknown   = Unknown command: {COMMAND}
+err_lock_failed   = Locking of '{USELIST}' failed. Try it again in a moment. If the problem persists, ask someone to recreate the lock file ('{LOCK_FILE}').
+err_not_exist     = File/directory does not exist.
+err_dir_not_exist = The directory where you want to create this file or directory doesn't exist.
 
 # End of configuration file
\ No newline at end of file