2014-07-07 11:23:31 +02:00
|
|
|
filter:
|
|
|
|
excluded_paths:
|
2015-11-27 13:44:58 +01:00
|
|
|
- 'js/public/*'
|
2014-07-07 11:23:31 +02:00
|
|
|
- 'l10n/*'
|
|
|
|
|
|
|
|
|
|
|
|
imports:
|
|
|
|
- javascript
|
|
|
|
- php
|
2014-09-01 14:04:28 +02:00
|
|
|
|
|
|
|
tools:
|
|
|
|
external_code_coverage:
|
2016-09-18 12:55:35 +02:00
|
|
|
timeout: 1000
|
|
|
|
|
|
|
|
build:
|
|
|
|
tests:
|
|
|
|
override:
|
2018-08-06 15:06:53 +02:00
|
|
|
- jshint-run --config js/.jshintrc
|