「Mediawiki 関連資料」の版間の差分
細 (→アップデート) |
|||
34行目: | 34行目: | ||
# 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。 | # 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。 | ||
# 動作確認しつつ extension を個別に有効化していく。 | # 動作確認しつつ extension を個別に有効化していく。 | ||
# 新ver で問題のある extension があったら、編集or代替検討で対処しとく。 | |||
# DB を旧verのDBに繋げるように Localsetting.phpを編集。(バックアップは当然取っとく。)または、DBをダンプして新verのDBに突っ込む。 | # DB を旧verのDBに繋げるように Localsetting.phpを編集。(バックアップは当然取っとく。)または、DBをダンプして新verのDBに突っ込む。 | ||
# メンテナンスの update.php を実行。 | # メンテナンスの update.php を実行。 | ||
# 動作確認。 | # 動作確認。 | ||
# カスタムしたスキンの調整(マージとか)。 | # カスタムしたスキンの調整(マージとか)。 | ||
# 運用が安定したら不要になった旧verの諸々を消す。 | |||
== サイトマップ生成 == | == サイトマップ生成 == |
2018年12月30日 (日) 10:30時点における版
資料っていうかメモ書き
- [マジックワード]
- 言語コード(ISO 639) >> http://ja.wikipedia.org/wiki/ISO_639
スマホで skin を切り替える
半強制でゆるく切り替え表示させたいならうちでも使ってる MobileFrontend。 ただ、ちょっと独特な Extension なので導入がめんどい。
よくある USER_AGENT から判別するのは↓の使えばいいと思う。
簡単に済ますなら、Localsetting.php で UA 別で適当に割り当てるようにする
if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) { $wgDefaultSkin = 'モバイル向け skin'; } else { $wgDefaultSkin = 'vector'; }
アップデート
mediawikiのアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。
- 別ディレクトリに新verをインストール。
- 新ver に extensiion と image をコピー。(独自 skin 作ってるならそれも。)
- 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。
- 動作確認しつつ extension を個別に有効化していく。
- 新ver で問題のある extension があったら、編集or代替検討で対処しとく。
- DB を旧verのDBに繋げるように Localsetting.phpを編集。(バックアップは当然取っとく。)または、DBをダンプして新verのDBに突っ込む。
- メンテナンスの update.php を実行。
- 動作確認。
- カスタムしたスキンの調整(マージとか)。
- 運用が安定したら不要になった旧verの諸々を消す。
サイトマップ生成
- wikiの直下に sitemap ディレクトリ作っとく
- メンテナンスにサイトマップジェネレータあるので実行する。うちだと以下の様な感じ
php maintenance/generateSitemap.php --fspath sitemap --server http://wiki.gz-labs.net --urlpath http://wiki.gz-labs.net/sitemap