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
jenkins-bot b5a31ed9d0 Merge "Add constructed class and messages names in comment for greppability"
2015-09-10 22:42:36 +00:00
..
styles Remove unnecessary calc() from css 2015-09-10 22:53:31 +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 Add constructed class and messages names in comment for greppability 2015-09-10 23:38:26 +01: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