Use to determine the settings

This is similar to what is done by WMF
MaRDI4NFDI · Jul 24, 2023 · b14cfdf · b14cfdf
1 parent 68300ac
commit b14cfdf
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 8 deletions.
diff --git a/mediawiki/LocalSettings.d/00_database.php b/mediawiki/LocalSettings.d/00_database.php
@@ -0,0 +1 @@
+<?php
diff --git a/mediawiki/LocalSettings.d/Vector.php b/mediawiki/LocalSettings.d/Vector.php
@@ -1,3 +1,5 @@
+<?php
+
 wfLoadSkin( 'Vector' );
 $wgDefaultSkin = 'vector-2022';
 

diff --git a/mediawiki/LocalSettings.d/Wikibase.php b/mediawiki/LocalSettings.d/Wikibase.php
@@ -1,9 +1,10 @@
+<?php
 ## Wikibase
 
 wfLoadExtension( 'WikibaseClient', "$IP/extensions/Wikibase/extension-client.json" );
 require_once "$IP/extensions/Wikibase/client/ExampleSettings.php";
 
- enable linking between wikibase and content pages
+# enable linking between wikibase and content pages
 $wgWBRepoSettings['siteLinkGroups'] = [ 'mathematics' ];
 $wgWBClientSettings['siteLinkGroups'] = [ 'mathematics' ];
 $wgWBClientSettings['siteGlobalID'] = 'mardi';
@@ -27,8 +28,7 @@
 // my_wiki is the MaRDI database
 $wgLocalDatabases = [ 'wiki_swmath', 'my_wiki' ];
 
-
-if ( !str_contains($_SERVER['HTTP_HOST'],'swmath') ){
+if ( $wgDBname !== 'wiki_swmath' ){
 
 	wfLoadExtension( 'WikibaseRepository', "$IP/extensions/Wikibase/extension-repo.json" );
 	require_once "$IP/extensions/Wikibase/repo/ExampleSettings.php";

diff --git a/mediawiki/LocalSettings.d/WikibaseExport.php b/mediawiki/LocalSettings.d/WikibaseExport.php
@@ -1,2 +1,2 @@
 <?php
-wfLoadExtension( 'WikibaseExport' );
+$wgDBname !== 'wiki_swmath' ? wfLoadExtension( 'WikibaseExport' ) : NULL;
diff --git a/mediawiki/LocalSettings.d/WikibaseLocalMedia.php b/mediawiki/LocalSettings.d/WikibaseLocalMedia.php
@@ -3,4 +3,4 @@
 // https://github.com/ProfessionalWiki/WikibaseLocalMedia
 ## WikibaseLocalMedia Configuration
 ## NOTE: WikibaseLocalMedia does currently not work in a client only setup.
-wfLoadExtension( 'WikibaseLocalMedia' );
+$wgDBname !== 'wiki_swmath' ?  wfLoadExtension( 'WikibaseLocalMedia' ) : NULL;
diff --git a/mediawiki/LocalSettings.d/swmath.php b/mediawiki/LocalSettings.d/swmath.php
@@ -1,7 +1,5 @@
 <?php
-if ( str_contains($_SERVER['HTTP_HOST'],'swmath') ){
-  $wgDBname = 'wiki_swmath';
-  # Set name of the wiki
+if ( $wgDBname === 'wiki_swmath' ){
   $wgSitename = 'swMATH staging';
   # Set swMATH logo
   $wgLogos = [