MediaWiki 1.5.8-scripts

[autoinstallsdev/mediawiki.git] / AdminSettings.php

diff --git a/AdminSettings.php b/AdminSettings.php
new file mode 100644 (file)
index 0000000..b0b3939
--- /dev/null
+++ b/AdminSettings.php
@@ -0,0 +1,20 @@
+<?php
+/**
+ * On scripts.mit.edu, the user's sole account can be used
+ * both for regular operation of the wiki and for any
+ * maintenance.  Therefore, we just use the username and
+ * password already set in LocalSettings.php.
+ *
+ * @package MediaWiki
+ */
+          
+$wgDBadminuser      = $wgDBuser;
+$wgDBadminpassword  = $wgDBpassword;
+          
+/*
+ * Whether to enable the profileinfo.php script.
+ * (False is the default.)
+ */
+$wgEnableProfileInfo = false;
+          
+?>