diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 669adca4..fa20f22d 100644
--- a/adminer/drivers/mysql.inc.php
+++ b/adminer/drivers/mysql.inc.php
@@ -14,6 +14,7 @@ if (!defined('Adminer\DRIVER')) {
 				parent::init();
 			}
 
+			/** @see https://php.net/mysqli.construct */
 			function connect($server = "", $username = "", $password = "", $database = null, $port = null, $socket = null) {
 				global $adminer;
 				mysqli_report(MYSQLI_REPORT_OFF); // stays between requests, not required since PHP 5.3.4