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
mediawiki-extensions-Echo/modules/ooui
History
Moriel Schottlender 4bbaf77c2a Change the naming of 'notification option' to 'notification item' widgets 
This is in preparation of adding more item models and widget types,
and in preparation of switching the notification widget away from being
a select widget.

Change-Id: I518fb3d80f4f67d677c21ca5593638269acfa544
2015-11-19 16:52:04 -08:00
..
styles Change the naming of 'notification option' to 'notification item' widgets 2015-11-19 16:52:04 -08:00
mw.echo.ui.BadgeLinkWidget.js Make middle-clicking badge work 2015-09-24 10:35:55 -07:00
mw.echo.ui.js Split alerts and messages in Echo 2015-09-02 15:36:37 -07:00
mw.echo.ui.NotificationBadgeWidget.js Initialize notifications model outside of the widget 2015-11-06 10:49:11 -08:00
mw.echo.ui.NotificationItemWidget.js Change the naming of 'notification option' to 'notification item' widgets 2015-11-19 16:52:04 -08:00
mw.echo.ui.NotificationsWidget.js Change the naming of 'notification option' to 'notification item' widgets 2015-11-19 16:52:04 -08:00
mw.echo.ui.PlaceholderItemWidget.js Change the naming of 'notification option' to 'notification item' widgets 2015-11-19 16:52:04 -08:00