index.php
changeset 391 85f91037cd4f
parent 383 1030864dc319
child 408 7ecbe721217c
equal deleted inserted replaced
390:9bcc185dc151 391:85f91037cd4f
   196       $template->footer();
   196       $template->footer();
   197       break;
   197       break;
   198     case 'viewsource':
   198     case 'viewsource':
   199       $template->header();
   199       $template->header();
   200       $text = RenderMan::getPage($paths->page_id, $paths->namespace, 0, false, false, false, false);
   200       $text = RenderMan::getPage($paths->page_id, $paths->namespace, 0, false, false, false, false);
       
   201       $text = htmlspecialchars($text);
   201       echo '
   202       echo '
   202         <form action="'.makeUrl($paths->page, 'do=edit').'" method="post">
   203         <form action="'.makeUrl($paths->page, 'do=edit').'" method="post">
   203         <br />
   204         <br />
   204         <textarea readonly="readonly" name="page_text" rows="20" cols="60" style="width: 97%;">'.$text.'</textarea>';
   205         <textarea readonly="readonly" name="page_text" rows="20" cols="60" style="width: 97%;">'.$text.'</textarea>';
   205       echo '<br />
   206       echo '<br />