dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: f1644aa)
Merge "Remove suppress of PhanRedefineFunctionInternal"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 10 Mar 2019 03:15:24 +0000 (03:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 10 Mar 2019 03:15:24 +0000 (03:15 +0000)
tests/phan/config.php patch | blob | history

diff --git a/tests/phan/config.php b/tests/phan/config.php
index fa351ea..da5e4b3 100644 (file)
--- a/tests/phan/config.php
+++ b/tests/phan/config.php
@@ -315,8 +315,6 @@ return [
                "PhanParamTooMany",
                // approximate error count: 3
                "PhanParamTooManyInternal",
-               // approximate error count: 1
-               "PhanRedefineFunctionInternal",
                // approximate error count: 2
                "PhanTraitParentReference",
                // approximate error count: 3
Wiklou, le Wiki du Wiklou