This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Echo
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Echo
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
78632108fd
mediawiki-extensions-Echo
/
modules
/
echo.variables.vector.less
3 lines
94 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Redo the notification badges Bug: T115845 Bug: T140900 Depends-On: Ic666540d70de52f Change-Id: I34e2736490319989a3a251a43fbe8080ab960b00
2016-07-20 00:24:17 +00:00
@badge-counter-background-unseen-alert: #C33;
@badge-counter-background-unseen-message: #36C;
Reference in a new issue
Copy permalink