Mediawiki 関連資料

提供: GizmoLabs
移動先: 案内検索

資料っていうかメモ書き



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

簡単に済ますなら、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. カスタムしたスキンの調整(マージとか)。


サイトマップ生成

  • wikiの直下に sitemap ディレクトリ作っとく
  • メンテナンスにサイトマップジェネレータあるので実行する。うちだと以下の様な感じ
php maintenance/generateSitemap.php --fspath sitemap --server http://wiki.gz-labs.net  --urlpath http://wiki.gz-labs.net/sitemap