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

Fix name of editingSessionId

Browse source 
Oops.

Change-Id: I332c49c3a0c4529c20ff7d5ffe5336054349340f
This commit is contained in:
Alex Monk 2015-03-13 23:19:12 +00:00 committed by Alex Monk
parent 1096e18a55
commit 6f5c181d6c
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

@ -460,7 +460,7 @@ class WikiEditorHooks {
$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';