[MediaWiki-commits] [Gerrit] mediawiki...RevisionSlider[master]: Revert "Temporary workaround for OOjs UI missing border bug"

2017-04-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/348891 ) Change subject: Revert "Temporary workaround for OOjs UI missing border bug" .. Revert "Temporary workaround for OOjs UI missing

[MediaWiki-commits] [Gerrit] mediawiki...RevisionSlider[master]: Revert "Temporary workaround for OOjs UI missing border bug"

2017-04-18 Thread Jforrester (Code Review)
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"