wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/overlay
History
Andrew Garrett 4f2d7b933e Echo: Use red badges instead of putting the number of new notifications in text. 
Depends on refactoring from efb463c

Change-Id: Iba09f46abaf337ea2578ace9d22592a71970c64b
2012-07-31 14:27:51 -07:00
..
ext.echo.overlay.css Echo: Use red badges instead of putting the number of new notifications in text. 2012-07-31 14:27:51 -07:00
ext.echo.overlay.js Echo: Use red badges instead of putting the number of new notifications in text. 2012-07-31 14:27:51 -07:00