}
$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;