Manuel:$wgRequestTimeLimit

Contournements des performances et limites: $wgRequestTimeLimit
Définit une limite du temps d'horloge pour le mur des requêtes du serveur.
Introduit dans la version :	1.36.0 (Gerrit change 654573; git #2697837f)
Retiré dans la version :	Encore utilisé
Valeurs autorisées :	(entier) ou null
Valeur par défaut :	null
Autres paramètres : Alphabétique | Par fonction

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.