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-24 07:54:13 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
3555ea1089
mediawiki-extensions-Echo
/
modules
/
echo.mixins.less
8 lines
91 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Add OOUI widgets for cross-wiki bundled notifications * Add the ability to use bundled expandable notification groups * Display bundled cross-wiki notifications following the design Bug: T115419 Bug: T115423 Bug: T115422 Change-Id: I8c3eba6d627c3f06d51d74fc9774e3fc2d02915d
2015-10-16 23:18:25 +00:00
.mw-echo-ui-mixin-hover-opacity() {
opacity: @opacity-low;
build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass Change-Id: I2789e3b93d1fc5743ea94b946fcd3e3ba8798e5e
2019-01-10 02:42:06 +00:00
Add OOUI widgets for cross-wiki bundled notifications * Add the ability to use bundled expandable notification groups * Display bundled cross-wiki notifications following the design Bug: T115419 Bug: T115423 Bug: T115422 Change-Id: I8c3eba6d627c3f06d51d74fc9774e3fc2d02915d
2015-10-16 23:18:25 +00:00
&:hover {
opacity: 1;
}
}
Reference in a new issue
Copy permalink