RecentChanges: Update

[pukiwiki/pukiwiki.git] / plugin / source.inc.php

diff --git a/plugin/source.inc.php b/plugin/source.inc.php
index 2826b1d..d57c88e 100644 (file)
--- a/plugin/source.inc.php
+++ b/plugin/source.inc.php
@@ -1,14 +1,31 @@
-<?
-// $Id: source.inc.php,v 1.2 2002/06/26 06:23:57 masui Exp $
+<?php
+/////////////////////////////////////////////////
+// PukiWiki - Yet another WikiWikiWeb clone.
+//
+// $Id: source.inc.php,v 1.12 2004/07/31 03:09:20 henoheno Exp $
+//
+// ¥Ú¡¼¥¸¥½¡¼¥¹¤òɽ¼¨
 
 function plugin_source_action()
 {
-       global $post,$vars,$script,$InterWikiName,$WikiName,$BracketName,$defaultpage;
+       global $vars;
+       global $_source_messages;
 
-       header("Content-type: text/plain");
-       readfile(get_filename(encode($vars["page"])));
+       $vars['refer'] = $vars['page'];
 
-       die();
+       if (!is_page($vars['page']) || !check_readable($vars['page'],false,false))
+       {
+               return array(
+                       'msg'=>$_source_messages['msg_notfound'],
+                       'body'=>$_source_messages['err_notfound']
+               );
+       }
+       return array(
+               'msg'=>$_source_messages['msg_title'],
+               'body' =>
+                       '<pre id="source">'.
+                       htmlspecialchars(join('',get_source($vars['page']))).
+                       '</pre>'
+       );
 }
-
 ?>