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 0ed0f43da9 Merge "Override padding for links in personal tools in Modern skin"
2015-09-10 22:56:43 +00:00
..
styles Merge "Override padding for links in personal tools in Modern skin" 2015-09-10 22:56:43 +00: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