Jingga/Build
1
0
Fork 0
mirror of https://github.com/Karaka-Management/Build.git synced 2026-01-11 19:58:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update phan.php

Browse Source
This commit is contained in:
Dennis Eichhorn 2018-04-13 14:22:00 +02:00 committed by GitHub
parent 4d79f8bded
commit 3459744d04
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Config/phan.php
View File

@ -1,5 +1,16 @@
<?php
return [
'target_php_version' => null,
'strict_param_checking' => true,
'strict_property_checking' => true,
'strict_return_checking' => true,
'check_docblock_signature_return_type_match' => true,
'check_docblock_signature_param_type_match' => true,
'prefer_narrowed_phpdoc_param_type' => true,
'prefer_narrowed_phpdoc_return_type' => true,
'allow_method_param_type_widening' => false,
'analyze_signature_compatibility' => true,
'dead_code_detection' => true,
'backward_compatibility_checks' => false,
'quick_mode' => false,
'analyze_signature_compatibility' => true,