mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-02 19:36:48 +00:00
383a81811d
Includes new ext.echo.alert module and new preference Change-Id: I7a4e78b033aa5e1ea18d1bfa2b6b0187930a6611 |
||
---|---|---|
.. | ||
ext.echo.alert.css | ||
ext.echo.alert.js |