diff --git a/documentation.php3 b/documentation.php3 index f3156b164..1415a1cce 100644 --- a/documentation.php3 +++ b/documentation.php3 @@ -6,7 +6,7 @@