[MediaWiki-commits] [Gerrit] PhpStorm says this is better - change (mediawiki...Wikibase)

2015-09-28 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: PhpStorm says this is better .. PhpStorm says this is better Change-Id: I0c6cc07c1a26e6e58cb7ebf1869ef20d7ccaf46f --- M

[MediaWiki-commits] [Gerrit] PhpStorm says this is better - change (mediawiki...Wikibase)

2015-09-24 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/240738 Change subject: PhpStorm says this is better .. PhpStorm says this is better Change-Id: I0c6cc07c1a26e6e58cb7ebf1869ef20d7ccaf46f ---