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
jenkins-bot 34e1ffa59a Merge "Restyle buttons to be fully clickable"
2015-09-10 22:43:31 +00:00
..
styles Restyle buttons to be fully clickable 2015-09-10 23:08:33 +01: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 "Restyle buttons to be fully clickable" 2015-09-10 22:43:31 +00:00
mw.echo.ui.NotificationOptionWidget.js Create an 'initiallyUnseen' class for initially unseen notifications 2015-09-03 15:37:02 -07:00
mw.echo.ui.NotificationsWidget.js Correct 'primaryLink' to 'primaryUrl' everywhere 2015-09-02 16:59:55 -07:00