[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Miscellaneous indentation tweaks

2017-02-28 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/339904 )

Change subject: Miscellaneous indentation tweaks
..

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Miscellaneous indentation tweaks

2017-02-25 Thread Code Review 
Bartosz Dziewoński has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/339904 )

Change subject: Miscellaneous indentation tweaks
..