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