wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 00:05:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules
History
Moriel Schottlender 73e3ed3717 Add a tooltip to the notification badges 
Since the nojs "base" version uses the automatic title creation
of the personal tools, the message keys were adjusted accordingly,
and the old unified message was removed.

Bug: T108190
Change-Id: I1f242f530aa68562aa4dc885156586c22c4df618
2015-09-08 14:03:34 -07: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 Add a tooltip to the notification badges 2015-09-08 14:03:34 -07:00
ooui Add a tooltip to the notification badges 2015-09-08 14:03:34 -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 Add a tooltip to the notification badges 2015-09-08 14:03:34 -07:00
hooks.txt Add overlay hook for user scripts. 2013-06-13 21:27:26 -04:00