mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 01:30:15 +00:00
9ee48977f1
And remove Echo's own mixin. Depends-On: Ia8d6e7229b49598b0f4cb19dff463ffe2f11a43d Change-Id: I68d5726f01484ef5b94a606de9669207944dff54 |
||
---|---|---|
.. | ||
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 |