php compatibility: Creating principal fails on 8.1

With davical 1.1.10 on php 8.1, I find that an attempt to create a new user ("principal") results in

Exception [0] array_flip(): Argument #1 ($array) must be of type array, null given
At line 243 of /usr/pkg/share/davical/inc/ui/principal-edit.php
================= Stack Trace ===================
/usr/pkg/share/davical/htdocs/admin.php[28] include_once()
/usr/pkg/share/davical/inc/ui/principal-edit.php[1157] principal_editor()
/usr/pkg/share/davical/inc/ui/principal-edit.php[243] array_flip()

and the web server logs

PHP Early Exception: [0] array_flip(): Argument #1 ($array) must be of type array, null given at /usr/pkg/share/davical/inc/ui/principal-edit.php:243, referer: https://XXX/davical/admin.php?action=edit&t=principal

The installation is pkgsrc lang/php (php-8.1.9) and www/davical (php81-davical-1.1.10nb2) on NetBSD 9.

See also this previous report.

Looks like

--- principal-edit.php~ 2022-08-15 20:06:56.000000000 +0200
+++ principal-edit.php  2022-09-15 14:35:40.842556191 +0200
@@ -180,6 +180,7 @@
 
 function principal_editor() {
   global $c, $id, $can_write_principal, $session;
+  global $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'" );

does the trick.

changed title from ph compatibility: Creating principal fails on 8.1 to php compatibility: Creating principal fails on 8.1

Thank you for the report.

This was fixed in c26ad777 (yet unreleased)

closed