From 6e31dd1642b247974c2bc87aedf86ab512d69770 Mon Sep 17 00:00:00 2001
From: Christian Boltz <cboltz@opensuse.org>
Date: Apr 23 2023 20:09:39 +0000
Subject: Wikis: Disable bento theme


Bento doesn't support MediaWiki 1.37 [1], and since it was replaced with
chameleon anyway, there's no real need to fix it.

[1] "Error: Call to undefined function wfRestoreWarnings()"

---

diff --git a/salt/profile/wiki/files/LocalSettings.php b/salt/profile/wiki/files/LocalSettings.php
index 588bf24..7e16211 100644
--- a/salt/profile/wiki/files/LocalSettings.php
+++ b/salt/profile/wiki/files/LocalSettings.php
@@ -107,7 +107,7 @@ $wgRightsIcon = "";
 # $wgRightsCode = ""; # Not yet used
 
 # $wgDefaultSkin = 'bento';
-wfLoadSkin('bento');
+# wfLoadSkin('bento');  # broken with MediaWiki 1.37+: "Error: Call to undefined function wfRestoreWarnings()"
 wfLoadSkin('Chameleon');
 
 # $wgLocalTZoffset = date("Z") / 3600; # 3600 is obviously wrong, since the value is expected in minutes