ThisIsNotAWikiSettings.php

<?php

wfLoadExtension( 'ThisIsNotAWiki' );

// File caches
$wgUseFileCache = true;
$wgFileCacheDepth = 0;
$wgFileCacheDirectory = '/workspace/dist';

// Contents
$wgSitename = 'This Is Not A Wiki';
$wgCapitalLinks = false;
$wgRestrictDisplayTitle = false;
$wgUseInstantCommons = true;

// Etc
$wgJobRunRate = 0;
unset( $wgFooterIcons['poweredby'] );

// Skin
$wgVectorDefaultSkinVersion = '2';
$wgVectorStickyHeader = [ 'logged_out' => true ];
$wgVectorLanguageInHeader = $wgVectorStickyHeader;
$wgVectorResponsive = true;

// Read configurations from .nowiki.json
if ( file_exists( '/workspace/src/.nowiki.json' ) ) {
	$text = file_get_contents( '/workspace/src/.nowiki.json' );
	$config = json_decode( $text, true );

	// Skins
	if ( isset( $config['skin'] ) ) {
		wfLoadSkin( $config['skin'] );
		$wgDefaultSkin = strtolower( $config['skin'] );
		unset( $config['skin'] );
	}

	// Extensions
	if ( isset( $config['Extensions'] ) ) {
		if ( is_array( $config['Extensions'] ) ) {
			wfLoadExtensions( $config['Extensions'] );
		}
		unset( $config['Extensions'] );
	}

	// wg variables
	if ( isset( $config['wg'] ) ) {
		foreach ( $config['wg'] as $key => $val ) {
			$key = 'wg' . $key;
			$GLOBALS[$key] = $val;
		}
		unset( $config['wg'] );
	}

	// Etc
	if ( isset( $config['Url'] ) ) {
		$wgThisIsNotAWikiFooterUrl = $config['Url'];
		unset( $config['Url'] );
	}
	foreach ( $config as $key => $val ) {
		$key = 'wgThisIsNotAWiki' . $key;
		$GLOBALS[$key] = $val;
	}
}