jenkins-bot has submitted this change and it was merged.
Change subject: ButtonElement: Remove unnecessary inheritance duplication of
`display`
......................................................................
ButtonElement: Remove unnecessary inheritance duplication of `display`
Removing unnecessary duplicaiton of `display` property on frameless
ButtonElement.
Change-Id: I34f0414145b4a8416cc1d5131cae9462e7d720b5
---
M src/styles/elements/ButtonElement.less
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/styles/elements/ButtonElement.less
b/src/styles/elements/ButtonElement.less
index beec91e..44c6844 100644
--- a/src/styles/elements/ButtonElement.less
+++ b/src/styles/elements/ButtonElement.less
@@ -28,7 +28,6 @@
}
&-frameless {
- display: inline-block;
position: relative;
}
--
To view, visit https://gerrit.wikimedia.org/r/291686
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I34f0414145b4a8416cc1d5131cae9462e7d720b5
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
