「Mediawiki 関連資料」の版間の差分

提供:GizmoLabs - だいたい CAD LISP なサイト
編集の要約なし
編集の要約なし
35行目: 35行目:
# 動作確認。
# 動作確認。
# カスタムしたスキンの調整(マージとか)。
# カスタムしたスキンの調整(マージとか)。
== サイトマップ生成 ==
* wikiの直下に sitemap ディレクトリ作っとく
* メンテナンスにサイトマップジェネレータあるので実行する。うちだと以下の様な感じ
php maintenance/generateSitemap.php --fspath sitemap --server http://wiki.gz-labs.net  --urlpath http://wiki.gz-labs.net/sitemap
* [[http://www.mediawiki.org/wiki/Manual:GenerateSitemap.php|generateSitemap.phpのマニュアル]]

2015年2月6日 (金) 10:10時点における版

資料っていうかメモ書き



スマホで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