Jump to content

Manuel:$wgAPIRequestLog

From mediawiki.org
This page is a translated version of the page Manual:$wgAPIRequestLog and the translation is 100% complete.
API: $wgAPIRequestLog
Fichier de journalisation ou URL (TCP ou UDP) pour journaliser les requêtes à l'API.
Introduit dans la version :1.16.0 (r55632)
Obsolète dans la version :1.43.0 (Gerrit change 1049234; git #161ec633)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne) ou false
Valeur par défaut :false

Détails

Fichier de journalisation ou URL (TCP ou UDP) pour journaliser les requêtes à l'API, ou false pour désactiver la journalisation des requêtes à l'API.