diff --git a/Documentation.html b/Documentation.html
index 2b41c79dc..b2408be83 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -1626,8 +1626,8 @@ $cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://'
     To connect to a MySQL server, PHP needs a set of MySQL functions called
     "MySQL extension".
     This extension may be part of the PHP server (compiled-in), otherwise it
-    needs to be loaded dynamically. phpMyAdmin tried to load the extension but
-    failed.
+    needs to be loaded dynamically. Its name is probably mysql.so or mysql.dll.
+    phpMyAdmin tried to load the extension but failed.
     <br /><br />
     Usually, the problem is solved by installing a software package called
     &quot;PHP-MySQL&quot; or something similar.