Merge #20163 - Fix #20157 - Set user-agent to null if not defined

Pull-request: #20163
Fixes: #20157
Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2026-02-24 09:29:58 +01:00
commit ff2a983faa
No known key found for this signature in database
GPG Key ID: 70684F4717D49A31

View File

@ -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,