source:
branches/fc19-dev/locker/deploy/mediawiki-1.11.0/mediawiki-1.11.0.patch
@
2633
Last change on this file since 2633 was 498, checked in by quentin, 17 years ago | |
---|---|
File size: 749 bytes |
-
AdminSettings.php
diff -Nur mediawiki-1.11.0.old/AdminSettings.php mediawiki-1.11.0/AdminSettings.php
old new 1 <?php 2 /** 3 * On scripts.mit.edu, the user's sole account can be used 4 * both for regular operation of the wiki and for any 5 * maintenance. Therefore, we just use the username and 6 * password already set in LocalSettings.php. 7 * 8 * @package MediaWiki 9 */ 10 11 $wgDBadminuser = $wgDBuser; 12 $wgDBadminpassword = $wgDBpassword; 13 14 /* 15 * Whether to enable the profileinfo.php script. 16 * (False is the default.) 17 */ 18 $wgEnableProfileInfo = false; 19 20 ?>
Note: See TracBrowser
for help on using the repository browser.