wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/ooui
History
jenkins-bot a87fa83fcd Merge "Reorganize NotificationBadgeWidget.less"
2016-02-25 18:47:48 +00:00
..
styles Merge "Reorganize NotificationBadgeWidget.less" 2016-02-25 18:47:48 +00:00
mw.echo.ui.ActionMenuPopupWidget.js ActionMenuPopupWidget: Close correctly when button is clicked 2016-01-18 15:01:17 -08:00
mw.echo.ui.BadgeLinkWidget.js Make middle-clicking badge work 2015-09-24 10:35:55 -07:00
mw.echo.ui.BundledNotificationGroupWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -08:00
mw.echo.ui.js Add a global overlay to Echo 2015-11-23 18:47:57 +00:00
mw.echo.ui.MenuItemWidget.js Truncate secondary link labels 2016-02-18 06:55:36 -05:00
mw.echo.ui.NotificationBadgeWidget.js Adjust layout for new notification panel designs 2016-01-18 18:00:14 -08:00
mw.echo.ui.NotificationGroupItemWidget.js Keep group open on click 2016-02-22 12:32:05 -08:00
mw.echo.ui.NotificationItemWidget.js Keep group open on click 2016-02-22 12:32:05 -08:00
mw.echo.ui.NotificationsWidget.js Display readable API error message 2015-12-22 10:34:01 -08:00
mw.echo.ui.PlaceholderItemWidget.js Display readable API error message 2015-12-22 10:34:01 -08:00