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

Bump Schema:Edit to revision 13457736

Browse source 
Bug: T111421
Change-Id: Ib5fc6004482b7324fc52acd7d28ad2b1529e55a3
This commit is contained in:
Alex Monk 2015-09-04 01:50:05 +01:00 committed by Alex Monk
parent 3fb1207aca
commit 28f1197000
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
WikiEditor.hooks.php
View file

@ -190,7 +190,6 @@ class WikiEditorHooks {
'editor' => 'wikitext',
'platform' => 'desktop', // FIXME
'integration' => 'page',
'page.length' => -1, // FIXME
'page.id' => $page->getId(),
'page.title' => $title->getPrefixedText(),
'page.ns' => $title->getNamespace(),
@ -204,7 +203,7 @@ class WikiEditorHooks {
$data['user.class'] = 'IP';
}
return EventLogging::logEvent( 'Edit', 11448630, $data );
return EventLogging::logEvent( 'Edit', 13457736, $data );
}
/**