New config option: disable_commands. This option defines a list of commands

[devedit.git] / templates / viewfile.htm

diff --git a/templates/viewfile.htm b/templates/viewfile.htm
index 4aaf594e4ee3307bfa6bdc058f6faefa809a5dc5..7303f1fe1b7c4627560e2721e5d5a9d286720b27 100644 (file)
--- a/templates/viewfile.htm
+++ b/templates/viewfile.htm
@@ -20,7 +20,10 @@
 </pre>
 </div>
 
-{IF editable}<p><a href="{SCRIPT}?command=beginedit&amp;file={FILE_URL}">Edit this file</a></p>{ELSE}<br>{ENDIF}
+<ul>
+<li><a href="{SCRIPT}?command=download&amp;file={FILE_URL}">Download this file</a></li>{IF editable}
+<li><a href="{SCRIPT}?command=beginedit&amp;file={FILE_URL}">Edit this file</a></li>{ENDIF}
+</ul>
 
 <hr>