From c26ad777a2f33c49d9ebc77e97a5c808cc32914d Mon Sep 17 00:00:00 2001
From: Andrew Ruthven <puck@catalyst.net.nz>
Date: Sun, 19 Sep 2021 02:56:19 +1200
Subject: [PATCH] We need $privilege_names in the list of globals.

Closes #250. Thank you to Laurent Hoareau and Jos Alsters.
---
 inc/ui/principal-edit.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inc/ui/principal-edit.php b/inc/ui/principal-edit.php
index a6de8305..72ca1fd0 100644
--- a/inc/ui/principal-edit.php
+++ b/inc/ui/principal-edit.php
@@ -179,7 +179,7 @@ function handle_subaction( $subaction ) {
 }
 
 function principal_editor() {
-  global $c, $id, $can_write_principal, $session;
+  global $c, $id, $can_write_principal, $session, $privilege_names;
   $editor = new Editor(translate('Principal'), 'dav_principal');
 
   $editor->SetLookup( 'date_format_type', "SELECT 'E', 'European' UNION SELECT 'U', 'US Format' UNION SELECT 'I', 'ISO Format'" );