From 0c8cd8e5f73c32fca4c6b4953bbb60b0f319d027 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 18 Apr 2014 09:10:17 -0700
Subject: [PATCH] Fix doc comment

---
 adminer/include/functions.inc.php | 1 +
 1 file changed, 1 insertion(+)

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 = "") {