「Mediawiki 関連資料」の版間の差分
細編集の要約なし |
細編集の要約なし |
||
| 16行目: | 16行目: | ||
* [http://www.mediawiki.org/wiki/Extension:MobileDetect Extension:MobileDetect] | * [http://www.mediawiki.org/wiki/Extension:MobileDetect Extension:MobileDetect] | ||
簡単に済ますなら、Localsetting.php に追記 | |||
<pre class="brush:php;">if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) { | |||
$wgDefaultSkin = 'wptouch'; | |||
} else { | |||
$wgDefaultSkin = 'vector'; | |||
}</pre> | |||
2014年1月9日 (木) 11:22時点における版
資料っていうかメモ書き
- [マジックワード]
- 言語コード（ISO 639) >> http://ja.wikipedia.org/wiki/ISO_639
スマホでskinを切り替える。よくある USER_AGENT から判別するのは↓の使えばいいと思う。
簡単に済ますなら、Localsetting.php に追記
if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
$wgDefaultSkin = 'wptouch';
} else {
$wgDefaultSkin = 'vector';
}
アップデート
mediawikiのアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。
- 別ディレクトリに新verをインストール。
- 新ver に extensiion と image をコピー。（独自 skin 作ってるならそれも。）
- 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。
- 動作確認しつつ extension を個別に有効化していく。
- DB を旧verのDBに繋げるように Localsetting.phpを編集。（バックアップは当然取っとく。）または、DBをダンプして新verのDBに突っ込む。
- メンテナンスの update.php を実行。
- 動作確認。
- カスタムしたスキンの調整（マージとか）。