From 80441d522a24a0884216041934bda85635ee0f5f Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Thu, 10 Jul 2003 05:19:29 +0000
Subject: [PATCH] oops :)

---
 includes/Article.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Article.php b/includes/Article.php
index f0def945c6..aedebdb0be 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1667,7 +1667,7 @@ name=\"wpSummary\" maxlength=200 size=60><br>
 	
 	function saveToFileCache( $text ) {
 		global $wgUseGzip, $wgCompressByDefault;
-		if(length($text) == 0) return "";
+		if(strcmp($text,"") == 0) return "";
 		
         wfDebug(" saveToFileCache()\n", false);
 		$filename=$this->fileCacheName();
-- 
2.20.1