MySQLi: Add comment

diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 669adca4abac180ec5c58c1fa7d317795dc812d7..fa20f22d3eca614e1605b69403088da1a43805aa 100644 (file)
--- 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