[MediaWiki-commits] [Gerrit] mediawiki...Translate[master]: Editor: use regular size buttons

2016-10-21 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Editor: use regular size buttons .. Editor: use regular size buttons There is no special need to use big buttons here. Bug: T146134 Change-Id: I9d67b0b4a

[MediaWiki-commits] [Gerrit] mediawiki...Translate[master]: Editor: use regular size buttons

2016-09-21 Thread Nikerabbit (Code Review)
Nikerabbit has uploaded a new change for review. https://gerrit.wikimedia.org/r/312036 Change subject: Editor: use regular size buttons .. Editor: use regular size buttons There is no special need to use big buttons here. Bu