1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-06-05 13:05:59 +02:00

phan: add page (#4376)

This commit is contained in:
Owen Voke 2020-10-02 12:01:32 +01:00 committed by GitHub
parent c162362ee9
commit 5bb908c205
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

32
pages/common/phan.md Normal file
View file

@ -0,0 +1,32 @@
# phan
> A static analysis tool for PHP.
> More information: <https://github.com/phan/phan>.
- Generate a `.phan/config.php` in the current directory:
`phan --init`
- Generate a Phan configuration file using a specific level (1 being strictest to 5 being the least strict):
`phan --init --init-level {{level}}`
- Analyse the current directory:
`phan`
- Analyse one or more directories:
`phan --directory {{path/to/directory}} --directory {{path/to/another_directory}}`
- Specify a config file (defaults to `.phan/config.php`):
`phan --config-file {{path/to/config.php}}`
- Specify the output mode:
`phan --output-mode {{text|verbose|json|csv|codeclimate|checkstyle|pylint|html}}`
- Specify the number of parallel processes:
`phan --processes {{number_of_processes}}`