jenkins-bot has submitted this change and it was merged.
Change subject: Default user.editCount to 0 in the Edit schema
......................................................................
Default user.editCount to 0 in the Edit schema
Otherwise it will fail to validate for anonymous users (getEditCount returns
null)
as it is a required field
Change-Id: I3d438cfde172b2598955773c4c22fc2d4a502f16
---
M WikiEditor.hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikiEditor.hooks.php b/WikiEditor.hooks.php
index fca9406..c5d4b50 100644
--- a/WikiEditor.hooks.php
+++ b/WikiEditor.hooks.php
@@ -169,7 +169,7 @@
'page.ns' => $title->getNamespace(),
'page.revid' => $page->getRevision() &&
$page->getRevision()->getId(),
'user.id' => $user->getId(),
- 'user.editCount' => $user->getEditCount(),
+ 'user.editCount' => $user->getEditCount() ?: 0,
'mediawiki.version' => $wgVersion
) + $data;
--
To view, visit https://gerrit.wikimedia.org/r/196709
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3d438cfde172b2598955773c4c22fc2d4a502f16
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
