tidied slightly

This commit is contained in:
Lorenzo Yario 2025-04-02 02:14:46 -05:00 committed by GitHub
parent ac3f69a7eb
commit 4244b0a86c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2644,8 +2644,7 @@ function mod_config(Context $ctx, $board_config = false) {
error($config['error']['noboard']); error($config['error']['noboard']);
else { else {
$board_config_file = $board_config . '/config.php'; include $board_config . '/config.php';;
include $board_config_file;
} }
if (!hasPermission($config['mod']['edit_config'], $board_config)) if (!hasPermission($config['mod']['edit_config'], $board_config))