MediaWiki
REL1_22
|
00001 <?php 00027 /* 00028 00029 Example of modifications: 00030 00031 public static function getLocalSettingsGenerator( Installer $installer ) { 00032 return new MyLocalSettingsGenerator( $installer ); 00033 } 00034 00035 Then add the following to the bottom of this file: 00036 00037 class MyLocalSettingsGenerator extends LocalSettingsGenerator { 00038 function getText() { 00039 // Modify an existing setting 00040 $this->values['wgResourceLoaderMaxQueryLength'] = 512; 00041 // add a new setting 00042 $ls = parent::getText(); 00043 return $ls . "\n\$wgUseTex = true;\n"; 00044 } 00045 } 00046 */ 00047 00051 class InstallerOverrides { 00057 public static function getLocalSettingsGenerator( Installer $installer ) { 00058 return new LocalSettingsGenerator( $installer ); 00059 } 00060 00066 public static function getWebInstaller( WebRequest $request ) { 00067 return new WebInstaller( $request ); 00068 } 00069 00077 public static function getCliInstaller( $siteName, $admin = null, array $options = array() ) { 00078 return new CliInstaller( $siteName, $admin, $options ); 00079 } 00080 }