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

2022年5月14日 (土) 08:12時点における最新版

資料っていうかメモ書き

[マジックワード]

言語コード（ISO 639) >> http://ja.wikipedia.org/wiki/ISO_639

スマホで skin を切り替える

半強制でゆるく切り替え表示させたいならうちでも使ってる MobileFrontend。ただ、ちょっと独特な Extension なので導入がめんどい。

Extension:MobileFrontend

よくある USER_AGENT から判別するのは↓の使えばいいと思う。

Extension:MobileDetect

簡単に済ますなら、Localsetting.php で UA 別で適当に割り当てるようにする

if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
    $wgDefaultSkin = 'モバイル向け skin';
} else {
    $wgDefaultSkin = 'vector';
}

アップデート

mediawikiのアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。

一つ前のバージョンからのアップデート

パッチファイルが提供されていればパッチの実行により差分適用で更新できる。

パッチのファイルをwikiのルート（通常、LocalSettings.php があるディレクトリ）にコピーする
patch コマンドで適用する。
patch -p1 --dry-run -i mediawiki-x.xx.x.patch

という感じでドライランで一度問題なさそうか確認してから

patch -p1 -i mediawiki-x.xx.x.patch

とドライランなしで実行すると良い。
更新したらバージョン情報を確認してみたりして問題ないか検証する。

別インストールして差し替えでアップデート

別ディレクトリに新verをインストール。
新ver に extension と image をコピー。（独自 skin 作ってるならそれも。）
旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。
動作確認しつつ extension を個別に有効化していく。
新ver で問題のある extension があったら、編集or代替検討で対処しとく。
DB を旧verのDBに繋げるように Localsetting.phpを編集。（バックアップは当然取っとく。）または、DBをダンプして新verのDBに突っ込む。
メンテナンスの update.php を実行。
動作確認。
カスタムしたスキンの調整（マージとか）。
運用が安定したら不要になった旧verの諸々を消す。

この手順だと新旧の切り替えが一瞬で終わりダウンタイムなしで移行できるのと、トラブっても復旧が楽っていうのがある。 DBを接続の切り替えにするか、新VerDBに突っ込むかはアップデートの内容によりけりで判断。

サイトマップ生成

wikiの直下に sitemap ディレクトリ作っとく
メンテナンスにサイトマップジェネレータあるので実行する。うちだと以下の様な感じ

php maintenance/generateSitemap.php --fspath sitemap --server http://wiki.gz-labs.net  --urlpath http://wiki.gz-labs.net/sitemap

[1]

@@ 2行目: / 2行目: @@
 * [[Mediawiki:sitenotice|サイトのお知らせ]]
-* [[MediaWiki:Anonnotice|非ログインユーザ向けのお知らせ]]
+* [[MediaWiki:Anonnotice|非ログイン(IP)ユーザ向けのお知らせ]]
 * [[Mediawiki:sidebar|サイドバーの編集]]
 * [[MediaWiki:Edittools|Charinsert の編集]]
 * [[MediaWiki:Common.css|全skinに反映させるCSS]]
+* [[MediaWiki:Spam-whitelist|spam ホワイトリスト]]
 * [[http://www.mediawiki.org/wiki/Help:Variables/ja マジックワード]]
 -----
@@ 13行目: / 16行目: @@
-スマホでskinを切り替える。よくある USER_AGENT から判別するのは↓の使えばいいと思う。
+== スマホで skin を切り替える ==
+半強制でゆるく切り替え表示させたいならうちでも使ってる MobileFrontend。 ただ、ちょっと独特な Extension なので導入がめんどい。
+* [https://www.mediawiki.org/wiki/Extension:MobileFrontend Extension:MobileFrontend]
+よくある USER_AGENT から判別するのは↓の使えばいいと思う。
 * [http://www.mediawiki.org/wiki/Extension:MobileDetect Extension:MobileDetect]
-簡単に済ますなら、Localsetting.php に追記
+簡単に済ますなら、Localsetting.php で UA 別で適当に割り当てるようにする
 <pre class="brush:php;">if (preg_match("/(mobile|webos|opera mini)/i", $_SERVER['HTTP_USER_AGENT'])) {
-     $wgDefaultSkin = 'wptouch';
+     $wgDefaultSkin = 'モバイル向け skin';
 } else {
      $wgDefaultSkin = 'vector';
 }</pre>
 == アップデート ==
 mediawikiのアップデートは割と簡単な手順で済むことが多いので、よくやる手順のメモ。
+=== 一つ前のバージョンからのアップデート ===
+パッチファイルが提供されていればパッチの実行により差分適用で更新できる。
+#パッチのファイルをwikiのルート（通常、LocalSettings.php があるディレクトリ）にコピーする
+# patch コマンドで適用する。
+#: patch -p1 --dry-run -i mediawiki-x.xx.x.patch
+#: という感じでドライラン で一度問題なさそうか確認してから
+#: patch -p1 -i mediawiki-x.xx.x.patch
+#: とドライランなしで実行すると良い。
+# 更新したらバージョン情報を確認してみたりして問題ないか検証する。
+=== 別インストールして差し替えでアップデート ===
 # 別ディレクトリに新verをインストール。
-# 新ver に extensiion と image をコピー。（独自 skin 作ってるならそれも。）
+# 新ver に extension と image をコピー。（独自 skin 作ってるならそれも。）
 # 旧 wiki の Localsetting.php を一旦 extension の読み込みをコメントアウトして新verにコピー。
 # 動作確認しつつ extension を個別に有効化していく。
+# 新ver で問題のある extension があったら、編集or代替検討で対処しとく。
 # DB を旧verのDBに繋げるように Localsetting.phpを編集。（バックアップは当然取っとく。）または、DBをダンプして新verのDBに突っ込む。
 # メンテナンスの update.php を実行。
 # 動作確認。
 # カスタムしたスキンの調整（マージとか）。
+# 運用が安定したら不要になった旧verの諸々を消す。
+この手順だと新旧の切り替えが一瞬で終わりダウンタイムなしで移行できるのと、トラブっても復旧が楽っていうのがある。
+DBを接続の切り替えにするか、新VerDBに突っ込むかはアップデートの内容によりけりで判断。
 == サイトマップ生成 ==
@@ 42行目: / 64行目: @@
   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のマニュアル]]
+* [http://www.mediawiki.org/wiki/Manual:GenerateSitemap.php|generateSitemap.phpのマニュアル]