From 2797169ca97f10f2d2a834fe4bc578dfc4b007b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?F=C3=A9lix=20Pi=C3=A9dallu?= <felix@piedallu.me>
Date: Sun, 3 Sep 2023 22:27:02 +0200
Subject: [PATCH] Update LocalSettings.php to 1.40

---
 conf/LocalSettings.php | 26 +++++++++++++++-----------
 scripts/install        |  2 ++
 2 files changed, 17 insertions(+), 11 deletions(-)

diff --git a/conf/LocalSettings.php b/conf/LocalSettings.php
index 38b3be3..702e110 100644
--- a/conf/LocalSettings.php
+++ b/conf/LocalSettings.php
@@ -1,9 +1,9 @@
 <?php
-# This file was automatically generated by the MediaWiki 1.35.0
+# This file was automatically generated by the MediaWiki 1.40.0
 # installer. If you make manual changes, please keep track in case you
 # need to recreate them later.
 #
-# See includes/DefaultSettings.php for all configurable settings
+# See includes/MainConfigSchema.php for all configurable settings
 # and their default values, but don't forget to make changes in _this_
 # file, not there.
 #
@@ -20,6 +20,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
 # $wgDisableOutputCompression = true;
 
 $wgSitename = "__WIKI_NAME__";
+$wgMetaNamespace = "__WIKI_NAME_UNDERSCORIFIED__";
 
 ## The URL base path to the directory containing the wiki;
 ## defaults for all runtime URL paths are based off of this.
@@ -36,7 +37,10 @@ $wgResourceBasePath = $wgScriptPath;
 
 ## The URL paths to the logo.  Make sure you change this from the default,
 ## or else you'll overwrite your logo when you upgrade!
-$wgLogos = [ '1x' => "$wgResourceBasePath/resources/assets/wiki.png" ];
+$wgLogos = [
+  '1x' => "$wgResourceBasePath/resources/assets/wiki.png",
+  'icon' => "$wgResourceBasePath/resources/assets/change-your-logo-icon.svg",
+];
 
 ## UPO means: this is also a user preference option
 
@@ -85,19 +89,17 @@ $wgUseInstantCommons = false;
 # with MediaWiki developers to help guide future development efforts.
 $wgPingback = false;
 
-## If you use ImageMagick (or any other shell command) on a
-## Linux server, this will need to be set to the name of an
-## available UTF-8 locale
-$wgShellLocale = "C.UTF-8";
+# Site language code, should be one of the list in ./includes/languages/data/Names.php
+$wgLanguageCode = "__LANGUAGE__";
+
+# Time zone
+$wgLocaltimezone = "UTC";
 
 ## Set $wgCacheDirectory to a writable directory on the web server
 ## to make your wiki go slightly faster. The directory should not
 ## be publicly accessible from the web.
 #$wgCacheDirectory = "$IP/cache";
 
-# Site language code, should be one of the list in ./languages/data/Names.php
-$wgLanguageCode = "__LANGUAGE__";
-
 $wgSecretKey = "__SECRET__";
 
 # Changing this will log out all existing sessions.
@@ -119,15 +121,17 @@ $wgRightsIcon = "";
 $wgDiff3 = "/usr/bin/diff3";
 
 ## Default skin: you can change the default skin. Use the internal symbolic
-## names, ie 'vector', 'monobook':
+## names, e.g. 'vector' or 'monobook':
 $wgDefaultSkin = "vector";
 
 # Enabled skins.
 # The following skins were automatically enabled:
+wfLoadSkin( 'MinervaNeue' );
 wfLoadSkin( 'MonoBook' );
 wfLoadSkin( 'Timeless' );
 wfLoadSkin( 'Vector' );
 
+
 # End of automatically generated settings.
 # Add more configuration options below.
 
diff --git a/scripts/install b/scripts/install
index b8b9f84..868fac1 100644
--- a/scripts/install
+++ b/scripts/install
@@ -66,6 +66,8 @@ else
     scriptpath=$path
 fi
 
+wiki_name_underscorified="${wiki_name//[^a-zA-Z0-9]/_}"
+
 "php$phpversion" "$install_dir/maintenance/install.php" --conf "$install_dir" \
     --server "https://$domain" \
     --scriptpath "$scriptpath" \