diff options
| author | Dario Giovannetti <dariogiova@gmail.com> | 2016-07-14 23:06:45 +0800 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2016-07-20 09:14:11 +0200 |
| commit | 44eaa7c4ad62cf6e1228bb7b845716edc98c7431 (patch) | |
| tree | 5621c9708172c302310d661d4933610fde3e49d3 | |
| parent | 2a42cb76964d1cc806c3e2bf10c7a7665db1f800 (diff) | |
Remind LocalSettings.php variables
| -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 ## |