From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 18 Apr 2014 16:10:17 +0000 (-0700)
Subject: Fix doc comment
X-Git-Tag: v4.2.0~80
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=0c8cd8e5f73c32fca4c6b4953bbb60b0f319d027;p=adminer.git

Fix doc comment
---

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index b93ad710..d6d9a43b 100644
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -546,6 +546,7 @@ function redirect($location, $message = null) {
 * @param bool
 * @param bool
 * @param bool
+* @param string
 * @return bool
 */
 function query_redirect($query, $location, $message, $redirect = true, $execute = true, $failed = false, $time = "") {