wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 00:05:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/ooui
History
jenkins-bot b46fcf57b3 Merge "Separate skin specific styles and improve Monobook appearance"
2015-11-11 02:18:59 +00:00
..
styles Merge "Separate skin specific styles and improve Monobook appearance" 2015-11-11 02:18:59 +00:00
mw.echo.ui.BadgeLinkWidget.js Make middle-clicking badge work 2015-09-24 10:35:55 -07:00
mw.echo.ui.js
mw.echo.ui.NotificationBadgeWidget.js Initialize notifications model outside of the widget 2015-11-06 10:49:11 -08:00
mw.echo.ui.NotificationOptionWidget.js Merge "Add browser test for notifications in Echo" 2015-10-13 17:29:02 +00:00
mw.echo.ui.NotificationsWidget.js Implement SortedList in Echo notifications 2015-11-06 11:01:10 -08:00
mw.echo.ui.PlaceholderOptionWidget.js Show a default message if no notifications are available 2015-09-17 16:25:54 -07:00