wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-27 17:50:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix fatal under MediaWiki 1.24

Browse source 
Change-Id: I6c989eb90878376c42f06d5da59b3473075dc3e5
This commit is contained in:
Jack Phoenix 2014-12-08 12:16:04 +02:00
parent 5b274ffd83
commit e7cf420d72
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Editcount_body.php
View file

@ -23,7 +23,7 @@ class Editcount extends IncludableSpecialPage {
$user = User::newFromName( $username );
$username = is_object( $user ) ? $user->getName() : '';
$uid = $user->getId();
$uid = ( $user instanceof User ? $user->getId() : 0 );
if ( $this->including() ) {
if ( $namespace === null ) {