wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-27 04:08:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/ooui
History
Roan Kattouw 983c7a2463 Follow-up f9e8c5057: fix JS error 
Bug: T114833
Change-Id: I73d37a0688165125db56c1d6c088f215b19f421e
2015-10-06 18:24:14 -07:00
..
styles Update formatting 2015-10-03 23:28:54 -04: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 Follow-up f9e8c5057: fix JS error 2015-10-06 18:24:14 -07:00
mw.echo.ui.NotificationOptionWidget.js Log notification impressions and clicks 2015-10-06 23:15:56 +00:00
mw.echo.ui.NotificationsWidget.js Update formatting 2015-10-03 23:28:54 -04:00
mw.echo.ui.PlaceholderOptionWidget.js Show a default message if no notifications are available 2015-09-17 16:25:54 -07:00