Use getId() instead of mId in getEditCount(), so it works with unloaded user objects
authorAndrew Garrett <werdna@users.mediawiki.org>
Thu, 26 Feb 2009 11:33:23 +0000 (11:33 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Thu, 26 Feb 2009 11:33:23 +0000 (11:33 +0000)
commitd6635eef302a674a9b468b1f64c5528fc2c8b7bc
treeac79dcfd28945c3495d6c975198bd8755b4ba7b9
parent88075a317808be45f83714d7b106292b486a5c3b
Use getId() instead of mId in getEditCount(), so it works with unloaded user objects
includes/User.php