wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Default user.editCount to 0 in the Edit schema

Browse source 
Otherwise it will fail to validate for anonymous users (getEditCount returns null)
as it is a required field

Change-Id: I3d438cfde172b2598955773c4c22fc2d4a502f16
This commit is contained in:
Alex Monk 2015-03-13 23:08:21 +00:00 committed by Alex Monk
parent f061205405
commit 1096e18a55
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
WikiEditor.hooks.php
View file

@ -169,7 +169,7 @@ class WikiEditorHooks {
'page.ns' => $title->getNamespace(), 'page.ns' => $title->getNamespace(),
'page.revid' => $page->getRevision() && $page->getRevision()->getId(), 'page.revid' => $page->getRevision() && $page->getRevision()->getId(),
'user.id' => $user->getId(), 'user.id' => $user->getId(),
'user.editCount' => $user->getEditCount(), 'user.editCount' => $user->getEditCount() ?: 0,
'mediawiki.version' => $wgVersion 'mediawiki.version' => $wgVersion
) + $data; ) + $data;