[13:11:10] <wikibugs>	 (03PS1) 10LukBukkit: Avoid PHP 7.1 warning of &$this usage [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/400693 (https://phabricator.wikimedia.org/T153505)
[20:08:18] <wikibugs>	 (03CR) 10Florianschmidtwelzow: [C: 032] Avoid PHP 7.1 warning of &$this usage [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/400693 (https://phabricator.wikimedia.org/T153505) (owner: 10LukBukkit)
[20:08:53] <wikibugs>	 (03Merged) 10jenkins-bot: Avoid PHP 7.1 warning of &$this usage [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/400693 (https://phabricator.wikimedia.org/T153505) (owner: 10LukBukkit)