wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-15 11:59:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/ooui
History
jenkins-bot 61158920f8 Merge "Replace entire <li> element to produce button and popup separately"
2015-09-19 15:59:19 +00:00
..
styles Merge "Replace entire <li> element to produce button and popup separately" 2015-09-19 15:59:19 +00:00
mw.echo.ui.BadgeLinkWidget.js Replace entire <li> element to produce button and popup separately 2015-09-19 17:56:29 +02:00
mw.echo.ui.js Split alerts and messages in Echo 2015-09-02 15:36:37 -07:00
mw.echo.ui.NotificationBadgeWidget.js Merge "Replace entire <li> element to produce button and popup separately" 2015-09-19 15:59:19 +00:00
mw.echo.ui.NotificationOptionWidget.js Correct unseen animation in notifications 2015-09-18 11:02:38 +00:00
mw.echo.ui.NotificationsWidget.js Show a default message if no notifications are available 2015-09-17 16:25:54 -07:00
mw.echo.ui.PlaceholderOptionWidget.js Show a default message if no notifications are available 2015-09-17 16:25:54 -07:00