diff --git a/doc/index.php b/doc/index.php index b50518d6e5..75dca51e3c 100644 --- a/doc/index.php +++ b/doc/index.php @@ -207,7 +207,7 @@ function language_form() { //."