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

Merge "Follow-up 6c4bf99da8: Fix incorrect comment"

Browse source
This commit is contained in:
jenkins-bot 2016-06-27 12:45:45 +00:00 committed by Gerrit Code Review
parent 3e5e141b1b 8bb8594940
commit f40b67899b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -12,7 +12,7 @@
* @cfg {string} [title] The title of this page group, usually * @cfg {string} [title] The title of this page group, usually
* the name of the wiki that the pages belong to * the name of the wiki that the pages belong to
* @cfg {number} [unreadCount] Number of unread notifications * @cfg {number} [unreadCount] Number of unread notifications
* @cfg {number} [initialSelection] The pageId of an initial selection * @cfg {number} [initialSelection] The page title of the option to select initially
*/ */
mw.echo.ui.PageFilterWidget = function MwEchoUiPageFilterWidget( filterModel, source, config ) { mw.echo.ui.PageFilterWidget = function MwEchoUiPageFilterWidget( filterModel, source, config ) {
config = config || {}; config = config || {};