Mediawiki 関連資料

提供:GizmoLabs - だいたい CAD LISP なサイト
2014年1月9日 (木) 11:22時点におけるGizmon (トーク | 投稿記録)による版

資料っていうかメモ書き



スマホで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. カスタムしたスキンの調整(マージとか)。