diff --git a/Documentation.html b/Documentation.html index 9217ff777..7d32b3c7c 100755 --- a/Documentation.html +++ b/Documentation.html @@ -1491,7 +1491,7 @@ $cfgPmaAbsoluteUri = (!empty($HTTPS) ? 'https' : 'http') . '://' you will see options to compress the dump. See also the $cfgExecTimeLimit configuration variable.

- For additionnal help on this subject, look for the word "dump" in this + For additional help on this subject, look for the word "dump" in this document.