mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 10:34:54 +00:00
37b9ae3ed8
* user-button removed in I55c18cf72. * mw-notifications-widget removed in I34e27364. Change-Id: I802be3c15fd3d09f72094fc36e101ad38864ef41 |
||
---|---|---|
.. | ||
api | ||
controller | ||
icons | ||
mobile | ||
model | ||
nojs | ||
special | ||
styles | ||
ui | ||
.eslintrc.json | ||
echo.mixins.less | ||
echo.variables.less | ||
ext.echo.centralauth.js | ||
ext.echo.init.js | ||
ext.echo.moment-hack.js | ||
hooks.txt |