subject:"\[MediaWiki\-commits\] \[Gerrit\] mediawiki\/core\[master\]\: Don't trigger PHP errors for unused Shell\\Command"

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Don't trigger PHP errors for unused Shell\Command

2017-10-17 Thread jenkins-bot (Code Review)

jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/384914 ) Change subject: Don't trigger PHP errors for unused Shell\Command .. Don't trigger PHP errors for unused Shell\Command

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Don't trigger PHP errors for unused Shell\Command

2017-10-17 Thread MaxSem (Code Review)

MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/384914 ) Change subject: Don't trigger PHP errors for unused Shell\Command .. Don't trigger PHP errors for unused Shell\Command Change-Id: