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

NotificationBadgeWidget: Fix appearance of bottom buttons for OOUI changes

Browse source 
This time we actually get to *remove* a hack that overrides OOUI,
which is always nice. Also add our new dependency on future-magic
forthcoming MediaWiki version.

Change-Id: Icef086e6b19dffb34eefe7b5658b57e020c5de8b
This commit is contained in:
Roan Kattouw 2017-03-01 21:54:23 -08:00 committed by James D. Forrester
parent eb81a1c0f1
commit 3e8f028ffe
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;
}
}
}
}