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