mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 10:49:37 +00:00
b10bd70033
This would soon become problematic when output can come from multiple sources, with potentially conflicting ids. The ID is already included in the result anyway. Change-Id: Id92150c71c68958819fe0ee329e70393052c34c9 |
||
---|---|---|
.. | ||
api | ||
icons | ||
logger | ||
nojs | ||
ooui | ||
special | ||
viewmodel | ||
echo.mixins.less | ||
echo.variables.less | ||
echo.variables.monobook.less | ||
echo.variables.vector.less | ||
ext.echo.init.js | ||
ext.echo.moment-hack.js | ||
hooks.txt |