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

Doc-comments: Format

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-28 09:13:36 +01:00
parent 45c045382a
commit 5e88dae4e2
15 changed files with 85 additions and 184 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -125,8 +125,7 @@ const thousandsSeparator = '" . js_escape(lang(',')) . "';")
define('Adminer\PAGE_HEADER', 1);
}
/** Send HTTP headers
*/
/** Send HTTP headers */
function page_headers(): void {
global $adminer;
header("Content-Type: text/html; charset=utf-8");
@@ -172,8 +171,7 @@ function get_nonce(): string {
return $nonce;
}
/** Print flash and error messages
*/
/** Print flash and error messages */
function page_messages(string $error): void {
global $adminer;
$uri = preg_replace('~^[^?]*~', '', $_SERVER["REQUEST_URI"]);