Manual:$wgMaxExecutionTimeForExpensiveQueries/en