mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-25 00:05:29 +00:00
73e3ed3717
Since the nojs "base" version uses the automatic title creation of the personal tools, the message keys were adjusted accordingly, and the old unified message was removed. Bug: T108190 Change-Id: I1f242f530aa68562aa4dc885156586c22c4df618 |
||
---|---|---|
.. | ||
styles | ||
mw.echo.ui.js | ||
mw.echo.ui.NotificationBadgeWidget.js | ||
mw.echo.ui.NotificationOptionWidget.js | ||
mw.echo.ui.NotificationsWidget.js |