wikimedia/mediawiki-extensions-RevisionSlider
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RevisionSlider synced 2024-11-15 03:33:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Temporary workaround for OOjs UI missing border bug"

Browse source 
This reverts commit 33aea27e94.

Sorry, I lied; we decided to release v0.21.1 anyway, which is now merged into master.

Change-Id: I791c814b33d17016d51f859948623b0bcc982f9c
This commit is contained in:
Jforrester 2017-04-19 01:46:43 +00:00
parent 33aea27e94
commit 749db6fbe6
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ext.RevisionSlider.lazy.css
View file

@ -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 */
}