mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
e85d881817
In a distant future those might be replaced by core WikimediaUI Base and this is a sane preparation for it. Change-Id: I8907c8908f3b775be36b16a6782d7e9719e30c4c |
||
---|---|---|
.. | ||
mw.echo.alert.less | ||
mw.echo.alert.monobook.less | ||
mw.echo.badge.less | ||
mw.echo.badge.minerva.less | ||
mw.echo.badge.monobook.less | ||
mw.echo.badge.vector.less | ||
mw.echo.notifications.less | ||
mw.echo.special.less |