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

CrossWikiUnreadFilterWidget: Remove unused this.localSource

Browse source 
This also means PageFilterWidget can stop worrying about being
given a nonexistent source.

Change-Id: Id999a117c66d0600a4386713c98501cc5ed4236a
This commit is contained in:
Roan Kattouw 2016-06-23 17:43:17 +02:00
parent 6c4bf99da8
commit eae458801f
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,