diff --git a/Documentation.html b/Documentation.html
index ca92b004fe..1add851b36 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -169,6 +169,7 @@
you need to create a set of tables in your database. Please look at your scripts/
directory, where you should find a file called create_tables.sql.
(If you are using a Windows server, pay special attention to FAQ 1.23).
+ If your MySQL server's version is 4.1.2 or later, please use create_tables_mysql_4_1_2+.sql instead.
You can already use your phpMyAdmin to create the tables for you. Please be
aware that you may have to have special (administrator) privileges to create
the database and tables. After having imported the create_tables.sql file,
@@ -361,22 +362,6 @@ GRANT SELECT, INSERT, UPDATE, DELETE ON <pma_db>.* TO 'pma'@'localhost';
empty, because the program tries to auto-detect its proper value.
Additional details are in the configuration file.
- Alternatively, this setting can be dynamically completed. For example,
- you can try to use such a kind of code:
-
-$cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' - . $_SERVER['HTTP_HOST'] - . (!empty($_SERVER['SERVER_PORT']) ? ':' . $_SERVER['SERVER_PORT'] : '') - . substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], '/')+1); - - or - -$cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' - . $_SERVER['SERVER_NAME'] - . (!empty($_SERVER['SERVER_PORT']) ? ':' . $_SERVER['SERVER_PORT'] : '') - . substr($_SERVER['SCRIPT_NAME'], 0, strrpos($_SERVER['SCRIPT_NAME'], '/')+1); --