6b5cd1cde3b07df9d99569486bdda2bae9b92df3
[atutor.git] / mods / wiki / plugins / markup / phpwiki.php
1 <?php
2
3 /*
4    this plugin converts the PhpWiki1.2 [[NoLink] to ErfurtWiki ![NoLink]
5    (fastly)
6 */
7
8
9 $ewiki_plugins["format_source"][] = "ewiki_format_source_emulate_phpwiki12";
10
11
12 function ewiki_format_source_emulate_phpwiki12(&$source) {
13    $source = str_replace("[[", "![", $source);
14 }
15
16
17 ?>