wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "NotificationBadgeWidget: Fix appearance of bottom buttons for OOUI changes"

Browse source
This commit is contained in:
jenkins-bot 2017-03-02 06:19:48 +00:00 committed by Gerrit Code Review
parent 185e68a803 3e8f028ffe
commit db1a5181dc
2 changed files with 3 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -13,6 +13,9 @@
"descriptionmsg": "echo-desc",
"license-name": "MIT",
"type": "specialpage",
"requires": {
"MediaWiki": ">= 1.29.0"
},
"callback": "EchoHooks::registerExtension",
"APIMetaModules": {
"notifications": "ApiEchoNotifications",

8
modules/styles/mw.echo.ui.NotificationBadgeWidget.less
View file

@ -83,14 +83,6 @@
margin: 0;
border: 0;
padding: 0.5em;
.oo-ui-iconElement-icon {
// HACK: these are absolutely positioned in OOUI, and our line-height: 4em;
// rule breaks that.
// FIXME: We should really use a different widget here
position: static;
opacity: @opacity-mid;
}
}
}
}