From db0e44221b8116c96f149fabde2bb06401c8ac45 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 25 Mar 2025 15:14:19 +0100
Subject: [PATCH] Doc-comments: Use special PHPStan types

---
 adminer/include/auth.inc.php      | 2 +-
 adminer/include/functions.inc.php | 4 ++--
 adminer/include/lang.inc.php      | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/adminer/include/auth.inc.php b/adminer/include/auth.inc.php
index 865b2662..5cb61621 100644
--- a/adminer/include/auth.inc.php
+++ b/adminer/include/auth.inc.php
@@ -125,7 +125,7 @@ function unset_permanent() {
 
 /** Render an error message and a login form
 * @param string plain text
-* @return null exits
+* @return never
 */
 function auth_error($error) {
 	global $adminer, $has_token;
diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 0af3f070..b3dbea5c 100644
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -483,7 +483,7 @@ function is_ajax() {
 /** Send Location header and exit
 * @param string null to only set a message
 * @param string
-* @return null
+* @return never
 */
 function redirect($location, $message = null) {
 	if ($message !== null) {
@@ -552,7 +552,7 @@ function queries($query) {
 /** Apply command to all array items
 * @param string
 * @param list<string>
-* @param callback
+* @param callable(string):string
 * @return bool
 */
 function apply_queries($query, $tables, $escape = 'Adminer\table') {
diff --git a/adminer/include/lang.inc.php b/adminer/include/lang.inc.php
index 61d0d0e1..9b4b27cb 100644
--- a/adminer/include/lang.inc.php
+++ b/adminer/include/lang.inc.php
@@ -60,7 +60,7 @@ function get_lang() {
 }
 
 /** Translate string
-* @param string
+* @param literal-string
 * @param int
 * @return string
 */
-- 
2.39.5