From 4244b0a86c4b15de9e3fe293a6c94c4541d9ff7c Mon Sep 17 00:00:00 2001
From: Lorenzo Yario <angeleno@screamer.wiki>
Date: Wed, 2 Apr 2025 02:14:46 -0500
Subject: [PATCH] tidied slightly

---
 inc/mod/pages.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/inc/mod/pages.php b/inc/mod/pages.php
index 0ec97d3e..a3276702 100644
--- a/inc/mod/pages.php
+++ b/inc/mod/pages.php
@@ -2644,8 +2644,7 @@ function mod_config(Context $ctx, $board_config = false) {
 		error($config['error']['noboard']);
 
 	else {
-		$board_config_file = $board_config . '/config.php';
-			include $board_config_file;
+		include $board_config . '/config.php';;
 	}
 
 	if (!hasPermission($config['mod']['edit_config'], $board_config))