* [phpunit](https://phpunit.de) (9.5 is known to work)
* [PHP CodeSniffer](https://github.com/squizlabs/PHP_CodeSniffer)
* [Pylint](https://pylint.org/) (CI always runs the latest version from pip)
+* [mypy](http://mypy-lang.org/) (plus typing information for external libs)
* [pytest](https://pytest.org)
The documentation is built with mkdocs:
```sh
sudo apt install php-cgi phpunit php-codesniffer \
- python3-pip python3-setuptools python3-dev pylint
+ python3-pip python3-setuptools python3-dev
-pip3 install --user behave mkdocs mkdocstrings pytest
+pip3 install --user behave mkdocs mkdocstrings pytest \
+ pylint mypy types-PyYAML types-jinja2 types-psycopg2
```
The `mkdocs` executable will be located in `.local/bin`. You may have to add