$oldrule12 = MiniWiki::$replacementHTML[MiniWiki::$title_index];
MiniWiki::$replacementHTML[MiniWiki::$title_index] = "'$0'";
}
$oldrule12 = MiniWiki::$replacementHTML[MiniWiki::$title_index];
MiniWiki::$replacementHTML[MiniWiki::$title_index] = "'$0'";
}
$text = preg_replace(MiniWiki::$patternsWiki, MiniWiki::$replacementText, trim($wiki));
if (!$title) {
MiniWiki::$replacementHTML[MiniWiki::$title_index] = $oldrule12;
$text = preg_replace(MiniWiki::$patternsWiki, MiniWiki::$replacementText, trim($wiki));
if (!$title) {
MiniWiki::$replacementHTML[MiniWiki::$title_index] = $oldrule12;