2014-05-12 23:56:07 +04:00
|
|
|
filter:
|
|
|
|
|
excluded_paths:
|
|
|
|
|
- '3rdparty/*'
|
|
|
|
|
- 'js/vendor/*'
|
2014-05-15 16:17:55 +04:00
|
|
|
- 'js/build/*'
|
2014-05-12 23:56:07 +04:00
|
|
|
- 'l10n/*'
|
|
|
|
|
- 'templates/*'
|
|
|
|
|
- 'img/*'
|
|
|
|
|
- 'css/*'
|
2014-05-12 23:59:11 +04:00
|
|
|
- 'bin/*'
|
2014-05-15 16:17:55 +04:00
|
|
|
|
2014-05-12 23:56:07 +04:00
|
|
|
imports:
|
2014-05-23 03:30:10 +04:00
|
|
|
#- javascript disabled because of es6 producing tons of errors
|
2014-05-12 23:56:07 +04:00
|
|
|
- php
|
2014-05-13 02:57:54 +04:00
|
|
|
|
|
|
|
|
tools:
|
2014-05-13 03:03:49 +04:00
|
|
|
external_code_coverage:
|
2014-05-22 04:59:30 +04:00
|
|
|
timeout: 600
|
2014-09-11 18:43:43 +04:00
|
|
|
|
|
|
|
|
checks:
|
|
|
|
|
php:
|
|
|
|
|
# not helpful because there is no setting to tweek the threshold
|
|
|
|
|
duplication: false
|
