[15:39:36] <wikibugs>	 (03PS1) 10Jack Phoenix: Convert long PHP arrays to short [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/441895
[23:52:05] <wikibugs>	 (03CR) 10Isarra: [C: 032] Convert long PHP arrays to short [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/441895 (owner: 10Jack Phoenix)
[23:52:49] <wikibugs>	 (03Merged) 10jenkins-bot: Convert long PHP arrays to short [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/441895 (owner: 10Jack Phoenix)