[MediaWiki-commits] [Gerrit] MWMediaDialog: Add a margin back to the border checkbox - change (mediawiki...VisualEditor)

2015-12-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: MWMediaDialog: Add a margin back to the border checkbox .. MWMediaDialog: Add a margin back to the border checkbox This was removed upstream in OOUI as un

[MediaWiki-commits] [Gerrit] MWMediaDialog: Add a margin back to the border checkbox - change (mediawiki...VisualEditor)

2015-12-02 Thread Jforrester (Code Review)
Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/256621 Change subject: MWMediaDialog: Add a margin back to the border checkbox .. MWMediaDialog: Add a margin back to the border checkbox This wa