Manual:$wgRequestTimeLimit/fr

Détails
Définit une limite du temps d'horloge pour le mur des requêtes du serveur.

Si l'extension Excimer est activée, en définissant ce paramètre vous déclencherez une exception après que le nombre de secondes sera atteint. Si l'extension n'est pas disponible, set_time_limit sera appelé à la place.