dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: ebf0725)
Merge "Remove unused Phan exception"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 Dec 2016 21:31:03 +0000 (21:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Dec 2016 21:31:03 +0000 (21:31 +0000)
tests/phan/config.php patch | blob | history

diff --git a/tests/phan/config.php b/tests/phan/config.php
index 0cf354c..14ff52a 100644 (file)
--- 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",
Wiklou, le Wiki du Wiklou