MediaWiki
REL1_20
|
00001 <?php 00010 /* 00011 00012 Example of modifications: 00013 00014 public static function getLocalSettingsGenerator( Installer $installer ) { 00015 return new MyLocalSettingsGenerator( $installer ); 00016 } 00017 00018 Then add the following to the bottom of this file: 00019 00020 class MyLocalSettingsGenerator extends LocalSettingsGenerator { 00021 function getText() { 00022 // Modify an existing setting 00023 $this->values['wgResourceLoaderMaxQueryLength'] = 512; 00024 // add a new setting 00025 $ls = parent::getText(); 00026 return $ls . "\n\$wgUseTex = true;\n"; 00027 } 00028 } 00029 */ 00030 00034 class InstallerOverrides { 00040 public static function getLocalSettingsGenerator( Installer $installer ) { 00041 return new LocalSettingsGenerator( $installer ); 00042 } 00043 00049 public static function getWebInstaller( WebRequest $request ) { 00050 return new WebInstaller( $request ); 00051 } 00052 00060 public static function getCliInstaller( $siteName, $admin = null, array $options = array() ) { 00061 return new CliInstaller( $siteName, $admin, $options ); 00062 } 00063 }