enhanced <code> and <file> syntax

Ignore-this: 80398f84222bec1fce56eee8f107d37a

This patch enhances the code and file syntax with several new features.

1. code and file are now essentially the same and just differ in the class
   name. This means you now can use the file syntax with syntax highlighting
   as well. This also solves problems where the code to highlight already
   contains a <code> tag (FS#1493)

2. a filename can be given as label for the code or file block. It is
   specified as second parameter after the language:

   <code html myfile.html>...</code>

   If no highlighting is wanted, but a filename shall be given, you can use
   a dash as language:

   <code - somefile.foo>...</code>

3. when a filename was given (as shown above), the label links to a
   download of the code given in the code/file block. This is made possible
   by a new renderer in inc/parser/code.php. The basename of given filename
   is suggested as filename when downloading.

darcs-hash:20090726175158-7ad00-969641a06ae1393a6d99207c3cd938fb67f23a71.gz

1 files changed, 1 insertions, 0 deletions

diff --git a/inc/lang/en/lang.php b/inc/lang/en/lang.php
index d043350d8..524e976e5 100644
--- a/inc/lang/en/lang.php
+++ b/inc/lang/en/lang.php
@@ -150,6 +150,7 @@ $lang['restored']   = 'old revision restored';
 $lang['external_edit'] = 'external edit';
 $lang['summary']    = 'Edit summary';
 $lang['noflash']    = 'The <a href="http://www.adobe.com/products/flashplayer/">Adobe Flash Plugin</a> is needed to display this content.';
+$lang['download']   = 'Download Snippet';
 
 $lang['mail_newpage']  = 'page added:';
 $lang['mail_changed']  = 'page changed:';