Merge remote-tracking branch 'upstream/master'

[nominatim.git] / docs / develop / Development-Environment.md

diff --git a/docs/develop/Development-Environment.md b/docs/develop/Development-Environment.md
index 7284e99ef1390593208db2a91066e77c454317e2..3234b8cbf3124574591b662606a406d7b75d27e3 100644 (file)
--- a/docs/develop/Development-Environment.md
+++ b/docs/develop/Development-Environment.md
@@ -65,7 +65,7 @@ sudo apt install php-cgi phpunit php-codesniffer \
 
 pip3 install --user behave mkdocs mkdocstrings pytest pytest-asyncio pylint \
                     mypy types-PyYAML types-jinja2 types-psycopg2 types-psutil \
-                    types-ujson types-requests typing-extensions\
+                    types-ujson types-requests types-Pygments typing-extensions\
                     sanic-testing httpx asgi-lifespan
 ```