jenkins-bot has submitted this change and it was merged.
Change subject: Fix name of editingSessionId
......................................................................
Fix name of editingSessionId
Oops.
Change-Id: I332c49c3a0c4529c20ff7d5ffe5336054349340f
(cherry picked from commit 6f5c181d6c6a9664e183a53075a10a23e897eb54)
---
M WikiEditor.hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Alex Monk: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikiEditor.hooks.php b/WikiEditor.hooks.php
index fca9406..b5d7068 100644
--- a/WikiEditor.hooks.php
+++ b/WikiEditor.hooks.php
@@ -460,7 +460,7 @@
$request = $article->getContext()->getRequest();
if ( $request->getVal( 'editingStatsId', false ) !== false ) {
$data = array();
- $data['editingStatsId'] = $request->getVal(
'editingStatsId' );
+ $data['editingSessionId'] = $request->getVal(
'editingStatsId' );
if ( $status->isOK() ) {
$action = 'saveSuccess';
--
To view, visit https://gerrit.wikimedia.org/r/196716
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I332c49c3a0c4529c20ff7d5ffe5336054349340f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: wmf/1.25wmf21
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Alex Monk <[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
