mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
1240492018
So it works for users without JavaScript Bug: 56974 Change-Id: I0652a740ca7156257d4459931d80872877339c0d |
||
---|---|---|
.. | ||
ext.echo.alert.css | ||
ext.echo.alert.modern.css | ||
ext.echo.alert.monobook.css |