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

提供:GizmoLabs - だいたい CAD LISP なサイト
編集の要約なし
編集の要約なし
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時点における版

資料っていうかメモ書き



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