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 |
<translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> |
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.