Visit Mozilla.org

MDC:Hacking wiki

出典: MDC


How to help: 目次
(MDC各言語共通)
一覧
Documentation wishlist
編集/レビューが必要な項目一覧
移設リスト
ガイド
はじめるには
記述者ガイド (英語版の訳)
Writing interface reference documentation
ページ命名ガイド
あいまい性除去のページ
MDCの新しいローカライズをはじめる
著作権とライセンス
リファレンス
Wiki マークアップリファレンス
カスタム CSS クラス
カスタムテンプレート
MediaWiki 拡張
外部リダイレクト
リダイレクトが必要なページ
MDC日本語版
日本語版
翻訳
井戸端会議
通信
Warning: This article is obsolete; the MDC wiki is now kept in SVN. This page will be updated soon.

MDC で利用している wiki をハックするには、あなたがアクセス可能な MediaWiki を実行可能な ローカルのウェブサーバが必要です。

なお、devmowiki とは、MDC の古いプロジェクト名である devmo からきている名称です。

目次

[編集] チェックアウト

最初に、devmowiki モジュールを cvs から チェックアウト してください。匿名アクセスを行うには、

export CVSROOT=:pserver:anonymous@cvs-mirror.mozilla.org:/www
cvs login
cvs co devmowiki

を実行してください。(パスワード入力プロンプトが出てきたら、anonymous と入力してください。)

感じのよい devmo skin を取得するには、これ以外に mozilla-org/css をチェックアウトする必要があります。

cvs co mozilla-org/css

[編集] セットアップ

devmowikicss フォルダーの中身 (もちろん、フォルダーそのものも) を、あなたのサーバの www ディレクトリにコピーしてください。(チェックアウトした devmowiki の中身は少し修正された MediaWiki となっていますので、このあとは MediaWiki のインストール手順を参照することも可能です。css フォルダーには、サイトの /css ディレクトリに含まれるべきファイルがあります。)

インストールを完了するには、MediaWiki を設定する必要があります。/config/index.php をブラウザで開くことで実行できます。Polvi によれば、このファイルは存在するだろうと思われるが、もしなければ MediaWiki のアーカイブからコピーしてきても大丈夫だそうです。

設定スクリプトを実行し終われば、作成された config/LocalSettings.php ファイルを親ディレクトリにコピーし、MediaWiki をインストールしたディレクトリにアクセスしてください。メインページが表示されるはずです。必要であれば、ログインし、Devmo スキンに変更することも可能です。

[編集] Devmo でのカスタマイズ内容

Devmo wiki はいくつかの MediaWiki 拡張を利用しています。それらを有効にするには

include("extensions/ExampleExt.php");

をあなたの LocalSettings.php の最後に追加してください。たとえば以下のように :

[snip]

include("extensions/Breadcrumbs.php");
include("extensions/TitleOverride.php");
include("extensions/Abbr.php");
include("extensions/Object.php");
include("extensions/Kbd.php");
?>

TBD RSS と Doxygen 拡張のインストールと設定 - 何か特別に必要なことはあるのか?

title-override と breadcrumbs 拡張は、データベースに追加のテーブルを作成する必要があります。update-devmo.phpコマンドライン から実行することで設定できます。著者の環境では以下のコマンドにより実行できました。(www ディレクトリにて実行)

/path/to/php -f ./maintenance/update-devmo.php

[編集] 完了

これで devmo wiki が動作しているはずです。もし何か devmo wiki の設定で問題があれば (そして、それがウェブサーバや PHP もしくは MediaWiki の問題でないならば)、#devmo で聞いてください。

[編集] Random tips

LocalSettings.php に次のように書き込むことで何らかのファイルにログを書き出すことができます。

$wgDebugLogFile = 'c:\\123'; 

wfDebug() 関数をログに書き出すために利用できます。