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

Doc-comments: Remove redundant info

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-28 12:03:56 +01:00
parent a9143ccbdc
commit e3a4a214e6
8 changed files with 32 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -229,7 +229,7 @@ function get_rows(string $query, Db $connection2 = null, string $error = "<p cla
/** Find unique identifier of a row
* @param string[] $row
* @param Index[] $indexes result of indexes()
* @param Index[] $indexes
* @return string[]|void null if there is no unique identifier
*/
function unique_array(?array $row, array $indexes) {
@@ -416,9 +416,9 @@ function is_ajax(): bool {
}
/** Send Location header and exit
* @param string $location null to only set a message
* @param ?string $location null to only set a message
*/
function redirect(string $location, string $message = null): void {
function redirect(?string $location, string $message = null): void {
if ($message !== null) {
restart_session();
$_SESSION["messages"][preg_replace('~^[^?]*~', '', ($location !== null ? $location : $_SERVER["REQUEST_URI"]))][] = $message;