From b9ee5c708f2cfcae60ee0ca8f18d5fdae96bdeb4 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Wed, 17 Feb 2021 20:25:01 +0100
Subject: [PATCH] Fix "Undefined index: selected_usr" when the user tried to
 delete no selected user

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

diff --git a/libraries/classes/Server/Privileges.php b/libraries/classes/Server/Privileges.php
index 0b4d32e313..e76cc4955d 100644
--- a/libraries/classes/Server/Privileges.php
+++ b/libraries/classes/Server/Privileges.php
@@ -2560,7 +2560,8 @@ class Privileges
                 $_POST['old_username'] . '&amp;#27;' . $_POST['old_hostname'],
             ];
         } else {
-            $selected_usr = $_POST['selected_usr'];
+            // null happens when no user was selected
+            $selected_usr = $_POST['selected_usr'] ?? null;
             $queries = [];
         }