2016-07-19 11:12:28 +02:00
|
|
|
Plugin PHP Parallel Lint
|
2017-01-04 13:22:20 +01:00
|
|
|
========================
|
2016-07-19 11:12:28 +02:00
|
|
|
|
2017-07-18 15:54:24 +02:00
|
|
|
Similar to the [standard PHP Lint plugin](lint.md), except that it uses the
|
|
|
|
[PHP Parallel Lint](https://github.com/JakubOnderka/PHP-Parallel-Lint) project to run.
|
2016-07-17 16:20:35 +02:00
|
|
|
|
2016-07-19 11:12:28 +02:00
|
|
|
Configuration
|
2017-01-04 13:22:20 +01:00
|
|
|
-------------
|
2016-07-19 11:12:28 +02:00
|
|
|
|
2016-07-17 16:20:35 +02:00
|
|
|
### Options
|
2016-07-19 11:12:28 +02:00
|
|
|
|
2016-07-17 16:20:35 +02:00
|
|
|
* **directory** [string, optional] - directory to inspect (default: build root)
|
|
|
|
* **ignore** [array, optional] - directory to ignore (default: inherits ignores specified in setup)
|
|
|
|
|
2016-07-19 11:12:28 +02:00
|
|
|
### Examples
|
|
|
|
|
2016-07-17 16:20:35 +02:00
|
|
|
```yml
|
|
|
|
test:
|
|
|
|
php_parallel_lint:
|
|
|
|
directory: "app"
|
|
|
|
ignore:
|
|
|
|
- "vendor"
|
|
|
|
- "test"
|
|
|
|
```
|