diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2016-12-19 21:31:03 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2016-12-19 21:31:03 +0000 |
| commit | c496cb3ff9ac2bbf73e5d018ef6e4be5942bea7a (patch) | |
| tree | abe4964e2d7c231ca66770e196b05dfaa646bb20 /tests/phan/config.php | |
| parent | ebf0725497a4bc9372fec791e803ff84e4e6ebef (diff) | |
| parent | 0b2e6272b817b4eb765ccb54d0a6031368e40bbf (diff) | |
| download | mediawikicore-c496cb3ff9ac2bbf73e5d018ef6e4be5942bea7a.tar.gz mediawikicore-c496cb3ff9ac2bbf73e5d018ef6e4be5942bea7a.zip | |
Merge "Remove unused Phan exception"
Diffstat (limited to 'tests/phan/config.php')
| -rw-r--r-- | tests/phan/config.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/phan/config.php b/tests/phan/config.php index 0cf354c58e19..14ff52ae08ab 100644 --- a/tests/phan/config.php +++ b/tests/phan/config.php @@ -310,8 +310,6 @@ return [ // approximate error count: 3 "PhanParamTooManyInternal", // approximate error count: 1 - "PhanRedefineFunction", - // approximate error count: 1 "PhanRedefineFunctionInternal", // approximate error count: 2 "PhanTraitParentReference", |