[MediaWiki-commits] [Gerrit] mediawiki...JsonConfig[wmf/1.28.0-wmf.22]: Use array_merge, not array() + array()

2016-10-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Use array_merge, not array() + array() .. Use array_merge, not array() + array() Change-Id: I72247e7d568815d2ce707464f26d26143d49ae23 --- M

[MediaWiki-commits] [Gerrit] mediawiki...JsonConfig[wmf/1.28.0-wmf.22]: Use array_merge, not array() + array()

2016-10-13 Thread Reedy (Code Review)
Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/315845 Change subject: Use array_merge, not array() + array() .. Use array_merge, not array() + array() Change-Id: