MediaWikiで設定を編集する

PHP

オレオレシェルコマンド辞典作成に向けて、以前インストールしていたMediaWikiをちゃんと使えるようにしてみた。
設定を変更するには、includes/DefaultSettings.phpではなくて、LocalSettings.phpに追記していくらしい。
という事で、以下を指定。

;; タイムゾーン指定
$wgLocalTimezone = 'Asia/Tokyo';
$wgLocalTZoffset = +540;

;; 管理者のみ編集可能に
$wgGroupPermissions['*']['createaccount'] = FALSE;
$wgGroupPermissions['*']['edit'] = FALSE;
$wgShowIpinHeader = FALSE;

;; ページ下部のアクセスカウンタ非表示
$wgDisableCounters = TRUE;

;; 単語の先頭が勝手に大文字にされないように
$wgCapitalLinks = FALSE;

これでオレオレWikiへと変身。
けど、「自分しか書けないWiki」ってツールの選択を激しく間違えてるような気が…(・x・ ).o0○