PHPUnit bootstrap: less aggressive unsetting of globals
authorKosta Harlan <kharlan@wikimedia.org>
Wed, 10 Jul 2019 17:20:00 +0000 (13:20 -0400)
committerKosta Harlan <kharlan@wikimedia.org>
Wed, 10 Jul 2019 17:51:55 +0000 (13:51 -0400)
commit6140d94f450994eda761608041a2b204b372ad74
tree3fffba766325f43b48dbff01fedc545573a2c28e
parent7388b7b62b842ef1e80faa677656a26a90803ece
PHPUnit bootstrap: less aggressive unsetting of globals

Previous approach caused breakage with "Notice: Undefined index: _SERVER"
messages, see e.g.
https://gerrit.wikimedia.org/r/c/mediawiki/core/+/521268#message-4502e6c209f53f6dc1c7cdf4f60e5045bbfb6ee4

Change-Id: Ief20e4e21fd99d219ebef865c603e336c2609ce2
Follows-Up: I16691fc8ac063705ba0c2bc63b96c4534ca8660b
Bug: T87781
tests/phpunit/MediaWikiUnitTestCase.php
tests/phpunit/bootstrap.php