diff --git a/htdocs/index.php b/htdocs/index.php index cfec2449e..264a4b31c 100644 --- a/htdocs/index.php +++ b/htdocs/index.php @@ -75,7 +75,7 @@ as a plugin for your favorite IDE:
Using a battery of tools is better than using 1 tool. Therefore we recommend that you also use other tools.