diff plugins/managesieve/managesieve.php @ 58:082a19037887 default tip

More cleaning up php8 Warnings/deprecations
author Charlie Root
date Wed, 15 Oct 2025 14:06:01 -0400
parents 1e000243b222
children
line wrap: on
line diff
--- a/plugins/managesieve/managesieve.php	Wed Oct 08 09:33:13 2025 -0400
+++ b/plugins/managesieve/managesieve.php	Wed Oct 15 14:06:01 2025 -0400
@@ -33,6 +33,7 @@
     public $task = 'mail|settings';
     private $rc;
     private $engine;
+    private $ui_initialized;
 
     function init()
     {