diff options
Diffstat (limited to 'OAuth/.phan/config.php')
| -rw-r--r-- | OAuth/.phan/config.php | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/OAuth/.phan/config.php b/OAuth/.phan/config.php new file mode 100644 index 00000000..ed6dff6f --- /dev/null +++ b/OAuth/.phan/config.php @@ -0,0 +1,26 @@ +<?php + +$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php'; + +$cfg['scalar_implicit_cast'] = true; +$cfg['null_casts_as_any_type'] = true; + +// Database->daoReadOnly and MWOAuthToken->oauth_callback_confirmed +$cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty'; + +$cfg['directory_list'] = array_merge( + $cfg['directory_list'], + [ + '../../extensions/Echo', + ] +); + +$cfg['exclude_analysis_directory_list'] = array_merge( + $cfg['exclude_analysis_directory_list'], + [ + 'src/Lib/', + '../../extensions/Echo', + ] +); + +return $cfg; |