diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2018-04-13 07:48:55 -0700 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2019-10-03 08:58:03 -0700 |
| commit | 6a1c6cd86fbbe170f109e96431e511bd9ebb87d2 (patch) | |
| tree | c45d0e6dfe15ecdb5fef2043a1c3dcd2d3760469 /.phan/stubs | |
| parent | 76d0913a443be4ba677fc2f0814c2e564334973d (diff) | |
| download | mediawikicore-6a1c6cd86fbbe170f109e96431e511bd9ebb87d2.tar.gz mediawikicore-6a1c6cd86fbbe170f109e96431e511bd9ebb87d2.zip | |
tests: Require PHPUnit 6, drop PHPUnit 4 as an option
Bug: T192167
Change-Id: I060e589c3469806ab483197c9d9375eeaed7e532
Diffstat (limited to '.phan/stubs')
| -rw-r--r-- | .phan/stubs/phpunit4.php | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.phan/stubs/phpunit4.php b/.phan/stubs/phpunit4.php deleted file mode 100644 index e5e88e6bab10..000000000000 --- a/.phan/stubs/phpunit4.php +++ /dev/null @@ -1,11 +0,0 @@ -<?php - -/** - * Some old classes from PHPUnit 4 that MediaWiki (conditionally) references. - * - * phpcs:ignoreFile - */ - -class PHPUnit_TextUI_Command { - -} |