mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-07 23:27:17 +02:00
Code Issues Releases Wiki Activity

Doc-comments: Use special PHPStan types

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-25 15:14:19 +01:00
parent 01e2fe4234
commit db0e44221b
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
adminer/include/functions.inc.php
View File

@@ -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') {