Ops!

gjbarnard · Apr 27, 2024 · 5fd4d3b · 5fd4d3b
1 parent b788e91
commit 5fd4d3b
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 */