Translations:Manual:$wgMaxShellWallClockTime/3/de-formal