Merge "Use [...] instead of array(...) in PHP comments and documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Jun 2019 20:00:45 +0000 (20:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Jun 2019 20:00:45 +0000 (20:00 +0000)
commitec7e434a4ec406ffb751a04b5084c552d7ac279f
treed4ae24ae6ad8c11b013e86dd3ebfd2b798d67673
parentcaeaed1019b9f7934fb7dcd03fc4cf0b2f189581
parent110a5877e9e6ebe7a6ecd758f5812f32fc4ef57e
Merge "Use [...] instead of array(...) in PHP comments and documentation"