]> git.joonet.de Git - adminer.git/commitdiff
Fix doc comment
authorJakub Vrana <jakub@vrana.cz>
Fri, 18 Apr 2014 16:10:17 +0000 (09:10 -0700)
committerJakub Vrana <jakub@vrana.cz>
Fri, 18 Apr 2014 16:10:17 +0000 (09:10 -0700)
adminer/include/functions.inc.php

index b93ad710aa0b99ba21227d352c1b1458f7bdf1fb..d6d9a43b70712d76d2d7f21daec66691a82a68ed 100644 (file)
@@ -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 = "") {