2016-10-15 02:20:46 +02:00
|
|
|
filter:
|
|
|
|
|
paths: [src/*]
|
|
|
|
|
checks:
|
|
|
|
|
php:
|
|
|
|
|
code_rating: true
|
|
|
|
|
duplication: true
|
|
|
|
|
tools:
|
2018-08-04 21:43:25 +02:00
|
|
|
external_code_coverage:
|
2016-12-09 22:54:02 +01:00
|
|
|
timeout: 1200 # Timeout in seconds.
|
2018-08-04 21:43:25 +02:00
|
|
|
php_cpd: false
|
