From 49d28302d3460e096d45c4392e349be3ea75a2f2 Mon Sep 17 00:00:00 2001 From: Gareth Barnard <1058419+gjb2048@users.noreply.github.com> Date: Thu, 4 Apr 2024 18:49:56 +0100 Subject: [PATCH] Ops! --- classes/output/renderer.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/classes/output/renderer.php b/classes/output/renderer.php index ba87283..58cba0a 100644 --- 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 */