$jsonFile = 'skin.json';
$function = 'wfLoadSkin';
} else {
- throw new InvalidArgumentException( '$dir was not "extensions" or "skins' );
+ throw new InvalidArgumentException( '$dir was not "extensions" or "skins"' );
}
$encName = self::escapePhpString( $name );
}
$mcservers = $this->buildMemcachedServerList();
+ if ( file_exists( dirname( __DIR__ ) . '/PlatformSettings.php' ) ) {
+ $platformSettings = "\n## Include platform/distribution defaults";
+ $platformSettings .= "\nrequire_once \"\$IP/includes/PlatformSettings.php\";";
+ } else {
+ $platformSettings = '';
+ }
return "<?php
# This file was automatically generated by the MediaWiki {$GLOBALS['wgVersion']}
if ( !defined( 'MEDIAWIKI' ) ) {
exit;
}
+{$platformSettings}
## Uncomment this to disable output compression
# \$wgDisableOutputCompression = true;