[MediaWiki-commits] [Gerrit] Single edit tab: Update preference value - change (mediawiki...VisualEditor)

2015-12-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Single edit tab: Update preference value .. Single edit tab: Update preference value It's all Timo's fault for suggesting the new values in I65d96627 PS21

[MediaWiki-commits] [Gerrit] Single edit tab: Update preference value - change (mediawiki...VisualEditor)

2015-12-09 Thread Alex Monk (Code Review)
Alex Monk has uploaded a new change for review. https://gerrit.wikimedia.org/r/258054 Change subject: Single edit tab: Update preference value .. Single edit tab: Update preference value It's all Timo's fault for suggesting t