equal
deleted
inserted
replaced
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 /> |