mediawiki-extensions-Echo/modules
2015-09-08 03:40:51 +00:00
..
icons Split alerts and messages in Echo 2015-09-02 15:36:37 -07:00
logger Split alerts and messages in Echo 2015-09-02 15:36:37 -07:00
nojs Align notification badge higher on the personal navigation bar 2015-09-07 16:32:57 -07:00
ooui Only send api request if the popup is opening 2015-09-07 17:11:31 -07:00
special Use db-replicated objectcache for storing last seen time 2015-09-02 22:42:35 +00:00
viewmodel Don't wait for the API to update seen status of notifications 2015-09-03 15:06:14 -07:00
echo.mixins.less Align notification badge higher on the personal navigation bar 2015-09-07 16:32:57 -07:00
echo.variables.less Split alerts and messages in Echo 2015-09-02 15:36:37 -07:00
ext.echo.init.js Fix the badge icon update 2015-09-07 12:05:14 -07:00
hooks.txt Add overlay hook for user scripts. 2013-06-13 21:27:26 -04:00