AdminSettings.php

   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 ?>