From 33d6b0cf3c181dcd1a5b39c0e387195e5f6823b0 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sat, 20 Mar 2021 17:43:43 +0100
Subject: [PATCH] Fix a PHP notice "Undefined index: pred_username"

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 libraries/classes/Server/Privileges.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/libraries/classes/Server/Privileges.php b/libraries/classes/Server/Privileges.php
index e76cc4955d..830e3cde76 100644
--- a/libraries/classes/Server/Privileges.php
+++ b/libraries/classes/Server/Privileges.php
@@ -2677,7 +2677,10 @@ class Privileges
         }
 
         $sql_query = '';
-        if ($_POST['pred_username'] === 'any') {
+        // Some reports where sent to the error reporting server with phpMyAdmin 5.1.0
+        // pred_username was reported to be not defined
+        $predUsername = $_POST['pred_username'] ?? '';
+        if ($predUsername === 'any') {
             $username = '';
         }
         switch ($_POST['pred_hostname']) {