From 62c6de82444ccf67998320d066f9ac75a241d589 Mon Sep 17 00:00:00 2001 From: Clemens Schwaighofer Date: Wed, 31 May 2023 17:32:00 +0900 Subject: [PATCH] minor phan config fix --- .phan/config.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.phan/config.php b/.phan/config.php index 87257f93..70a74c43 100644 --- a/.phan/config.php +++ b/.phan/config.php @@ -131,7 +131,7 @@ return [ 'PhanReadOnlyPublicProperty', // start ignore annotations 'PhanUnextractableAnnotationElementName', - 'PhanUnextractableAnnotationSuffix' + 'PhanUnextractableAnnotationSuffix', ], // Override to hardcode existence and types of (non-builtin) globals in the global scope.