wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix incorrect variable name

Browse source 
Bug: 68552
Change-Id: Iddf620954c3709e7c03c0b06e0bf8f3d08df366b
This commit is contained in:
bsitu 2014-07-24 17:57:24 -07:00 committed by Bsitu
parent aed46b4f9f
commit c3f02705b0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
formatters/BasicFormatter.php
View file

@ -753,7 +753,7 @@ class EchoBasicFormatter extends EchoNotificationFormatter {
$data = $this->getBundleLastRawData( $event, $user );
if ( $data ) {
$extra = $data->extra_data;
$extra = $data->event_extra;
if ( isset( $extra['revid'] ) ) {
$oldId = $target->getPreviousRevisionID( $extra['revid'] );
// The diff engine doesn't provide a way to diff against a null revision.