644     if ( $redir_enabled )

   644     if ( $redir_enabled )

   645     {

   645     {

   646       echo $redir_html;

   646       echo $redir_html;

   647     }

   647     }

   648     

   648     

   649     if ( $incl_inner_headers )

   655     if ( $incl_inner_headers )

   650     {

   656     {

   651       $text = '?>' . RenderMan::render($text);

   657       $text = '?>' . RenderMan::render($text);

   652     }

   658     }

   653     else

   659     else

   655       $text = '?>' . $text;

   661       $text = '?>' . $text;

   656       $text = preg_replace('/<nowiki>(.*?)<\/nowiki>/s', '\\1', $text);

   662       $text = preg_replace('/<nowiki>(.*?)<\/nowiki>/s', '\\1', $text);

   657     }

   663     }

   658     // echo('<pre>'.htmlspecialchars($text).'</pre>');

   664     // echo('<pre>'.htmlspecialchars($text).'</pre>');

   659     eval ( $text );

   665     eval ( $text );

   660     

   672     

   661     if ( $incl_inner_headers )

   673     if ( $incl_inner_headers )

   662     {

   674     {

   663       display_page_footers();

   675       display_page_footers();

   664     }

   676     }