From df8beb464c3d1d4a4ad267537af6ab6d737b69af Mon Sep 17 00:00:00 2001 From: Liviu-Mihail Concioiu Date: Sun, 22 Feb 2026 17:21:20 +0100 Subject: [PATCH] Set user-agent to null if not defined Signed-off-by: Liviu-Mihail Concioiu --- libraries/classes/ErrorReport.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/classes/ErrorReport.php b/libraries/classes/ErrorReport.php index 9f6a305a69..65cab944a1 100644 --- a/libraries/classes/ErrorReport.php +++ b/libraries/classes/ErrorReport.php @@ -86,7 +86,7 @@ class ErrorReport 'browser_version' => $this->config->get('PMA_USR_BROWSER_VER'), 'user_os' => $this->config->get('PMA_USR_OS'), 'server_software' => $_SERVER['SERVER_SOFTWARE'] ?? null, - 'user_agent_string' => $_SERVER['HTTP_USER_AGENT'], + 'user_agent_string' => $_SERVER['HTTP_USER_AGENT'] ?? null, 'locale' => $this->config->getCookie('pma_lang'), 'configuration_storage' => $relationParameters->db === null ? 'disabled' : 'enabled', 'php_version' => PHP_VERSION,