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

提供：GizmoLabs - だいたい CAD LISP なサイト
細編集の要約なし
22行目: 22行目:
簡単に済ますなら、Localsetting.php で UA 別で適当に割り当てるようにする
簡単に済ますなら、Localsetting.php で UA 別で適当に割り当てるようにする
<pre class="brush:php;">if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
<pre class="brush:php;">if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
     $wgDefaultSkin = 'minervaneue';
     $wgDefaultSkin = 'モバイル向け skin';
} else {
} else {
     $wgDefaultSkin = 'vector';
     $wgDefaultSkin = 'vector';
}</pre>
}</pre>


== アップデート ==
== アップデート ==

2018年1月3日 (水) 09:11時点における版

資料っていうかメモ書き


スマホで 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のアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。

  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
「https://wiki.gz-labs.net/index.php?title=Mediawiki_関連資料&oldid=7460」から取得