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
Moriel Schottlender a4659baec5 Add OOUI widgets for cross-wiki bundled notifications 
* Add the ability to use bundled expandable
  notification groups
* Display bundled cross-wiki notifications following
  the design

Bug: T115419
Bug: T115423
Bug: T115422
Change-Id: I8c3eba6d627c3f06d51d74fc9774e3fc2d02915d
2015-12-14 17:22:34 -08:00
..
styles Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -08:00
mw.echo.ui.ActionMenuPopupWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -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.NotificationBadgeWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -08:00
mw.echo.ui.NotificationGroupItemWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -08:00
mw.echo.ui.NotificationItemWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -08:00
mw.echo.ui.NotificationsWidget.js Add OOUI widgets for cross-wiki bundled notifications 2015-12-14 17:22:34 -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