From 516530485de91a40e735149b671b7befe06ec152 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 8 Sep 2025 08:30:13 +0200
Subject: [PATCH] Save bytes

---
 adminer/include/adminer.inc.php | 2 +-
 plugins/dump-date.php           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index f4dca8e2..48b56e03 100644
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -919,7 +919,7 @@ class Adminer {
 	* @return string filename without extension
 	*/
 	function dumpFilename(string $identifier): string {
-		return friendly_url($identifier != "" ? $identifier : (SERVER != "" ? SERVER : "localhost"));
+		return friendly_url($identifier != "" ? $identifier : (SERVER ?: "localhost"));
 	}
 
 	/** Send headers for export
diff --git a/plugins/dump-date.php b/plugins/dump-date.php
index 43a12054..7054b1a3 100644
--- a/plugins/dump-date.php
+++ b/plugins/dump-date.php
@@ -9,7 +9,7 @@
 class AdminerDumpDate extends Adminer\Plugin {
 
 	function dumpFilename($identifier) {
-		return Adminer\friendly_url(($identifier != "" ? $identifier : (Adminer\SERVER != "" ? Adminer\SERVER : "localhost")) . "-" . Adminer\get_val("SELECT NOW()"));
+		return Adminer\friendly_url(($identifier != "" ? $identifier : (Adminer\SERVER ?: "localhost")) . "-" . Adminer\get_val("SELECT NOW()"));
 	}
 
 	protected $translations = array(