Manuel:$wgRequestTimeLimit

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgRequestTimeLimit and the translation is 100% complete.
Other languages:
English • ‎français • ‎русский • ‎日本語
Performance hacks and limits: $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

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.