Mediawiki 関連資料

資料っていうかメモ書き

• サイトのお知らせ
• 非ログインユーザ向けのお知らせ
• サイドバーの編集
• Charinsert の編集
• 全skinに反映させるCSS

• [マジックワード]

---

• 言語コード（ISO 639) >> http://ja.wikipedia.org/wiki/ISO_639

スマホでskinを切り替える。よくある USER_AGENT から判別するのは↓の使えばいいと思う。

• Extension:MobileDetect

簡単に済ますなら、Localsetting.php に追記

if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
    $wgDefaultSkin = 'wptouch';
} else {
    $wgDefaultSkin = 'vector';
}

アップデート

mediawikiのアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。

1. 別ディレクトリに新verをインストール。
2. 新ver に extensiion と image をコピー。（独自 skin 作ってるならそれも。）
3. 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。
4. 動作確認しつつ extension を個別に有効化していく。
5. DB を旧verのDBに繋げるように Localsetting.phpを編集。（バックアップは当然取っとく。）または、DBをダンプして新verのDBに突っ込む。
6. メンテナンスの update.php を実行。
7. 動作確認。
8. カスタムしたスキンの調整（マージとか）。