Manual:$wgRequestTimeLimit/fr

From Linux Web Expert

<translate> Performance hacks and limits</translate>: $wgRequestTimeLimit
Définit une limite du temps d'horloge pour le mur des requêtes du serveur.
<translate> Introduced in version:</translate>1.36.0 (Gerrit change 654573; git #2697837f)
<translate> Removed in version:</translate><translate> still in use</translate>
<translate> Allowed values:</translate>(entier) ou null
<translate> Default value:</translate>null

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.