From 1b7e505f191023c2f197a830c5769c0aa717da5c Mon Sep 17 00:00:00 2001
From: jellykells <42573508+jellykells@users.noreply.github.com>
Date: Sun, 21 Nov 2021 08:25:41 -0600
Subject: [PATCH] add  global to display_page function

---
 ext/wiki/theme.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/wiki/theme.php b/ext/wiki/theme.php
index a7c073e9..d533fa62 100644
--- a/ext/wiki/theme.php
+++ b/ext/wiki/theme.php
@@ -10,7 +10,7 @@ class WikiTheme extends Themelet
      */
     public function display_page(Page $page, WikiPage $wiki_page, ?WikiPage $nav_page=null)
     {
-        global $user;
+        global $config, $user;
 
         if (is_null($nav_page)) {
             $nav_page = new WikiPage();