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

Merge "CrossWikiUnreadFilterWidget: Remove unused this.localSource"

Browse source
This commit is contained in:
jenkins-bot 2016-06-27 13:28:06 +00:00 committed by Gerrit Code Review
parent f40b67899b eae458801f
commit 711e2f84c2
2 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/ui/mw.echo.ui.CrossWikiUnreadFilterWidget.js
View file

@ -60,12 +60,6 @@
this.aggregate( { choose: 'pageFilterChoose' } );
this.connect( this, { pageFilterChoose: 'onPageFilterChoose' } );
// Always have a local wiki
this.localSource = new mw.echo.ui.PageFilterWidget(
this.model.getSourcePagesModel(),
mw.config.get( 'wgDBname' )
);
this.$element
.addClass( 'mw-echo-ui-crossWikiUnreadFilterWidget' )
.append(
@ -159,9 +153,6 @@
);
widgets.push( widget );
if ( source !== mw.config.get( 'wgDBname' ) ) {
this.localSource = widget;
}
}
this.clearItems();

3
modules/ui/mw.echo.ui.PageFilterWidget.js
View file

@ -75,9 +75,6 @@
optionWidgets = [],
sourcePages = this.model.getSourcePages( this.source );
if ( !sourcePages ) {
return;
}
for ( i = 0; i < sourcePages.length; i++ ) {
widget = new mw.echo.ui.PageNotificationsOptionWidget( {
label: sourcePages[ i ].title,