Add comments

diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 8c93506b39f2d0d158a4cc0f0647fb020760904f..bfaa166fb86a8529063bfd949e25f7627a22e27f 100644 (file)
--- a/adminer/drivers/mysql.inc.php
+++ b/adminer/drivers/mysql.inc.php
@@ -1097,14 +1097,24 @@ if (!defined("DRIVER")) {
                return !preg_match("~scheme|sequence|type|view_trigger|materializedview" . (min_version(8) ? "" : "|descidx" . (min_version(5.1) ? "" : "|event|partitioning" . (min_version(5) ? "" : "|routine|trigger|view"))) . "~", $feature);
        }
 
+       /** Kill a process
+       * @param int
+       * @return bool
+       */
        function kill_process($val) {
                return queries("KILL " . number($val));
        }
 
+       /** Return query to get connection ID
+       * @return string
+       */
        function connection_id(){
                return "SELECT CONNECTION_ID()";
        }
 
+       /** Get maximum number of connections
+       * @return int
+       */
        function max_connections() {
                global $connection;
                return $connection->result("SELECT @@max_connections");