From 63d02d637cf4e7c170b07efcb2d453682e7dace1 Mon Sep 17 00:00:00 2001 From: Nick Jenkins Date: Fri, 16 Feb 2007 06:54:13 +0000 Subject: [PATCH] (bug 8999) User.php gives "undefined user editcount" PHP notice. --- RELEASE-NOTES | 2 ++ includes/User.php | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index d5a66f31aa..3c9bebe1b0 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -191,6 +191,8 @@ lighter making things easier to read. MediaWiki:Disclaimers; Also means that if any of the footer links are disabled in the wiki's default language (by setting to "-"), they'll also be disabled in other languages too (e.g. if the user specifies uselang=fr). +* (bug 8999) User.php gives "undefined user editcount" PHP notice. + == Languages updated == diff --git a/includes/User.php b/includes/User.php index fb34100dc0..6ad546df23 100644 --- a/includes/User.php +++ b/includes/User.php @@ -1593,7 +1593,7 @@ class User { /* Return the edit count for the user. This is where User::edits should have been */ function getEditCount() { if ($this->mId) { - if ($this->mEditCount === null ) { + if ( !isset( $this->mEditCount ) ) { /* Populate the count, if it has not been populated yet */ $this->mEditCount = User::edits($this->mId); } -- 2.20.1