Manual:$wgMaxShellWallClockTime/ja

詳細
Maximum wall clock time (i.e. real time, of the kind the clock on the wall would measure) in seconds for shell processes under Linux.