[MediaWiki-commits] [Gerrit] mediawiki...WPtouch[master]: Avoid PHP 7.1 warning of &$this usage

2017-12-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/400717 ) Change subject: Avoid PHP 7.1 warning of &$this usage .. Avoid PHP 7.1 warning of &$this usage Bug: T153505 Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...WPtouch[master]: Avoid PHP 7.1 warning of &$this usage

2017-12-29 Thread LukBukkit (Code Review)
LukBukkit has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/400717 ) Change subject: Avoid PHP 7.1 warning of &$this usage .. Avoid PHP 7.1 warning of &$this usage Change-Id: