equal
deleted
inserted
replaced
317 $text = '?>' . RenderMan::render($text); |
317 $text = '?>' . RenderMan::render($text); |
318 } |
318 } |
319 else |
319 else |
320 { |
320 { |
321 $text = '?>' . $text; |
321 $text = '?>' . $text; |
|
322 $text = preg_replace('/<nowiki>(.*?)<\/nowiki>/s', '\\1', $text); |
322 } |
323 } |
323 // echo('<pre>'.htmlspecialchars($text).'</pre>'); |
324 // echo('<pre>'.htmlspecialchars($text).'</pre>'); |
324 eval ( $text ); |
325 eval ( $text ); |
325 |
326 |
326 if ( $incl_inner_headers ) |
327 if ( $incl_inner_headers ) |