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

Merge "Special:Notifications JS even when no local notifications"

Browse source
This commit is contained in:
jenkins-bot 2016-07-08 18:19:49 +00:00 committed by Gerrit Code Review
parent 152bd3e622 90bc75912c
commit 3eda03ac98
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/special/SpecialNotifications.php
View file

@ -39,7 +39,7 @@ class SpecialNotifications extends SpecialPage {
// If there are no notifications, display a message saying so
if ( !$notifications ) {
$out->addWikiMsg( 'echo-none' );
$out->addModules( array( 'ext.echo.special' ) );
return;
}