diff options
author | Andreas Gohr <andi@splitbrain.org> | 2009-07-26 19:51:58 +0200 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2009-07-26 19:51:58 +0200 |
commit | 3d491f758802dd2376dddd5d001765b940b08743 (patch) | |
tree | a9b27250e2e19c33ad52c63e1e642924be03b5bc /inc/parser/parser.php | |
parent | a6783fdb13cb5cc9b0225cb1ea1ac8c028a775da (diff) | |
download | rpg-3d491f758802dd2376dddd5d001765b940b08743.tar.gz rpg-3d491f758802dd2376dddd5d001765b940b08743.tar.bz2 |
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
Diffstat (limited to 'inc/parser/parser.php')
-rw-r--r-- | inc/parser/parser.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/parser/parser.php b/inc/parser/parser.php index 491206b81..773d9d4d5 100644 --- a/inc/parser/parser.php +++ b/inc/parser/parser.php @@ -561,7 +561,7 @@ class Doku_Parser_Mode_code extends Doku_Parser_Mode { class Doku_Parser_Mode_file extends Doku_Parser_Mode { function connectTo($mode) { - $this->Lexer->addEntryPattern('<file>(?=.*</file>)',$mode,'file'); + $this->Lexer->addEntryPattern('<file(?=.*</file>)',$mode,'file'); } function postConnect() { |