Manual:$wgMaxShellTime

Details
Maximum CPU time in seconds for shell processes under linux.