RecentChanges: Update

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

diff --git a/plugin/source.inc.php b/plugin/source.inc.php
index b6f391d..d57c88e 100644 (file)
--- a/plugin/source.inc.php
+++ b/plugin/source.inc.php
@@ -2,7 +2,7 @@
 /////////////////////////////////////////////////
 // PukiWiki - Yet another WikiWikiWeb clone.
 //
-// $Id: source.inc.php,v 1.11 2004/02/29 07:53:55 arino Exp $
+// $Id: source.inc.php,v 1.12 2004/07/31 03:09:20 henoheno Exp $
 //
 // ¥Ú¡¼¥¸¥½¡¼¥¹¤òɽ¼¨
 
@@ -10,9 +10,9 @@ function plugin_source_action()
 {
        global $vars;
        global $_source_messages;
-       
+
        $vars['refer'] = $vars['page'];
-       
+
        if (!is_page($vars['page']) || !check_readable($vars['page'],false,false))
        {
                return array(