Allow to execute a HTTP download of a file

[devedit.git] / errors.conf

diff --git a/errors.conf b/errors.conf
index 535793664594c6086f7e6af0252a4123891a8aee..244501ff0b2b4405f566b5d4bea241bce80b5f97 100644 (file)
--- a/errors.conf
+++ b/errors.conf
@@ -33,6 +33,7 @@ no_copy           = You have not enough permissions to copy this file.
 no_delete         = You have not enough permissions to delete this file.
 no_dir_access     = You have not enough permissions to access this directory.
 no_directory      = '{FILE}' is not a directory.
 no_delete         = You have not enough permissions to delete this file.
 no_dir_access     = You have not enough permissions to access this directory.
 no_directory      = '{FILE}' is not a directory.

+no_download       = You are not allowed to download '{FILE}'.

 no_edit           = You have not enough permissions to edit this file.
 no_rename         = You have not enough permissions to move/rename this file.
 no_root_access    = You have not enough permissions to access the root directory.
 no_edit           = You have not enough permissions to edit this file.
 no_rename         = You have not enough permissions to move/rename this file.
 no_root_access    = You have not enough permissions to access the root directory.