diff --git a/dev/tools/phan/config.php b/dev/tools/phan/config.php index 650f4fbf9e23c..7edfd7a8d1b13 100644 --- a/dev/tools/phan/config.php +++ b/dev/tools/phan/config.php @@ -591,7 +591,7 @@ // 'PhanPluginPossiblyStaticProtectedMethod', 'PhanTypeMismatchReturn', // 'PhanPluginMoreSpecificActualReturnType', - 'PhanTypeMismatchReturnProbablyReal', + // 'PhanTypeMismatchReturnProbablyReal', 'PhanPossiblyUndeclaredVariable', 'PhanTypeMismatchArgument', // 'PhanPluginUnreachableCode',