|
Last change
on this file since 524 was
498,
checked in by quentin, 18 years ago
|
|
Remove Setup.php patch that was committed upstream
|
|
File size:
749 bytes
|
| Rev | Line | |
|---|
| [451] | 1 | diff -Nur mediawiki-1.11.0.old/AdminSettings.php mediawiki-1.11.0/AdminSettings.php |
|---|
| 2 | --- mediawiki-1.11.0.old/AdminSettings.php 1969-12-31 19:00:00.000000000 -0500 |
|---|
| 3 | +++ mediawiki-1.11.0/AdminSettings.php 2007-10-09 17:32:52.000000000 -0400 |
|---|
| 4 | @@ -0,0 +1,20 @@ |
|---|
| 5 | +<?php |
|---|
| 6 | +/** |
|---|
| 7 | + * On scripts.mit.edu, the user's sole account can be used |
|---|
| 8 | + * both for regular operation of the wiki and for any |
|---|
| 9 | + * maintenance. Therefore, we just use the username and |
|---|
| 10 | + * password already set in LocalSettings.php. |
|---|
| 11 | + * |
|---|
| 12 | + * @package MediaWiki |
|---|
| 13 | + */ |
|---|
| 14 | + |
|---|
| 15 | +$wgDBadminuser = $wgDBuser; |
|---|
| 16 | +$wgDBadminpassword = $wgDBpassword; |
|---|
| 17 | + |
|---|
| 18 | +/* |
|---|
| 19 | + * Whether to enable the profileinfo.php script. |
|---|
| 20 | + * (False is the default.) |
|---|
| 21 | + */ |
|---|
| 22 | +$wgEnableProfileInfo = false; |
|---|
| 23 | + |
|---|
| 24 | +?> |
|---|
Note: See
TracBrowser
for help on using the repository browser.
