From d56d507cac6d519728bed8171fbdad450300a73f Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sat, 10 Jul 2004 01:09:36 +0000
Subject: [PATCH] bug fix

---
 includes/EditPage.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 52b027a780..04ff9c1915 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -460,10 +460,10 @@ htmlspecialchars( $wgLang->recodeForEdit( $this->textbox1 ) ) .
 		$reason = $wgUser->blockedFor();
                 $ip = $wgIP;
 		
-		if ( is_string( $id ) ) {
-			$name = $id;
-		} else {
+		if ( is_numeric( $id ) ) {
 	                $name = User::whoIs( $id );
+		} else {
+			$name = $id;
 		}
 		$link = "[[" . $wgLang->getNsText( Namespace::getUser() ) .
 		  ":{$name}|{$name}]]";
-- 
2.20.1