Translations:Manual:$wgRequestTime/1/ja

$webstart および $maint-scripts で初期化されるタイマー