Ops!

gjbarnard · Apr 4, 2024 · 49d2830 · 49d2830
1 parent 34eab35
commit 49d2830
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/classes/output/renderer.php b/classes/output/renderer.php
@@ -74,6 +74,8 @@ class renderer extends section_renderer {
     protected $isoldtogglepreference = false;
     /** @var bool $userisediting */
     protected $userisediting = false;
+    /** @var string $tconesectioniconfont */
+    protected $tconesectioniconfont;
     /** @var string $tctoggleiconsize */
     protected $tctoggleiconsize;
     /** @var bool $formatresponsive */