get_source(): Clenaup only

diff --git a/lib/file.php b/lib/file.php
index e07b254..3628c48 100644 (file)
--- a/lib/file.php
+++ b/lib/file.php
@@ -1,6 +1,6 @@
 <?php
 // PukiWiki - Yet another WikiWikiWeb clone.
-// $Id: file.php,v 1.31 2005/07/05 12:39:19 henoheno Exp $
+// $Id: file.php,v 1.32 2005/07/31 02:46:04 henoheno Exp $
 // Copyright (C)
 //   2002-2005 PukiWiki Developers Team
 //   2001-2002 Originally written by yu-ji
@@ -11,8 +11,12 @@
 // Get source(wiki text) data of the page
 function get_source($page = NULL)
 {
-       // Removing line-feeds: Because file() doesn't remove them.
-       return is_page($page) ? str_replace("\r", '', file(get_filename($page))) : array();
+       if (is_page($page)) {
+               // Removing line-feeds: Because file() doesn't remove them.
+               return str_replace("\r", '', file(get_filename($page)));
+       } else {
+               return array();
+       }
 }
 
 // Get last-modified filetime of the page