diff --git a/dev/tools/phan/config.php b/dev/tools/phan/config.php index 87d6df0c9d9..4c93e1be80f 100644 --- a/dev/tools/phan/config.php +++ b/dev/tools/phan/config.php @@ -1,7 +1,10 @@ * Copyright (C) 2024 Frédéric France + * + * This is the phan config file used by .github/workflows/phan.yml */ + define('DOL_PROJECT_ROOT', __DIR__.'/../../..'); define('DOL_DOCUMENT_ROOT', DOL_PROJECT_ROOT.'/htdocs'); define('PHAN_DIR', __DIR__); @@ -456,6 +459,8 @@ return [ 'PhanPluginRedundantAssignment', // Not essential, useless 'PhanPluginDuplicateCatchStatementBody', // Requires PHP7.1 - 50+ occurrences + 'PhanPluginUnknownClosureReturnType', // When we use closure (we must avoid), we do not have PHP doc + // 'PhanPluginUnknownArrayMethodParamType', // All fixed, except in api_* // 'PhanPluginUnknownArrayMethodReturnType', // All fixed, except in api_* // 'PhanUndeclaredGlobalVariable', // Helps identify variables that are not set/defined - add '@phan-var-force TYPE $varname' in tpl or includes to help type the variable diff --git a/dev/tools/phan/config_extended.php b/dev/tools/phan/config_extended.php index 380493bbdd9..41be1c5f8ad 100644 --- a/dev/tools/phan/config_extended.php +++ b/dev/tools/phan/config_extended.php @@ -1,6 +1,8 @@ * Copyright (C) 2024 Frédéric France + * + * This is the phan config file used by dev/tools/apstats.php */ // Load default configuration (with many exclusions)