diff options
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 { - -} |