diff --git a/htdocs/index.php b/htdocs/index.php index b8dc1b09d..10e92532c 100644 --- a/htdocs/index.php +++ b/htdocs/index.php @@ -51,6 +51,7 @@ as a plugin for your favorite IDE: