Hello Addshore, Tobias Gritschacher, WMDE-Fisch, jenkins-bot, Andrew-WMDE,
I'd like you to do a code review. Please visit
https://gerrit.wikimedia.org/r/348891
to review the following change.
Change subject: Revert "Temporary workaround for OOjs UI missing border bug"
......................................................................
Revert "Temporary workaround for OOjs UI missing border bug"
This reverts commit 33aea27e94d03c91e54c1a06eed4c870c694cd7e.
Sorry, I lied; we decided to release v0.21.1 anyway, which is now merged into
master.
Change-Id: I791c814b33d17016d51f859948623b0bcc982f9c
---
M modules/ext.RevisionSlider.lazy.css
1 file changed, 0 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/RevisionSlider
refs/changes/91/348891/1
diff --git a/modules/ext.RevisionSlider.lazy.css
b/modules/ext.RevisionSlider.lazy.css
index 10d28f6..cda8428 100644
--- a/modules/ext.RevisionSlider.lazy.css
+++ b/modules/ext.RevisionSlider.lazy.css
@@ -45,8 +45,3 @@
.mw-revslider-toggle-button .oo-ui-labelElement-label {
line-height: 1.875em;
}
-
-/* can be removed when OOjs UI v0.21.1 is put into core master */
-.mw-revslider-toggle-button > .oo-ui-buttonElement-button {
- margin-left: 0 !important; /* stylelint-disable-line
declaration-no-important */
-}
--
To view, visit https://gerrit.wikimedia.org/r/348891
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I791c814b33d17016d51f859948623b0bcc982f9c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RevisionSlider
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Andrew-WMDE <andrew.kos...@wikimedia.de>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
