diff options
| -rw-r--r-- | LocalSettings.archlinux.org.php | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/LocalSettings.archlinux.org.php b/LocalSettings.archlinux.org.php index 165f2bb1..f889ecc5 100644 --- a/LocalSettings.archlinux.org.php +++ b/LocalSettings.archlinux.org.php @@ -16,6 +16,20 @@ if ( !defined( 'MEDIAWIKI' ) ) { } ## +## LocalSettings.php +## + +#$wgDBname = "XXX"; +#$wgDBuser = "XXX"; +#$wgDBpassword = "XXX"; +#$wgSecretKey = "XXX"; +#$wgUpgradeKey = "XXX"; +#require_once( "$IP/extensions/FunnyQuestion/FunnyQuestion.php" ); +#$wgFunnyQuestionHash = "XXX"; +#$wgFunnyQuestions = array(); + + +## ## General settings ## |