Jump to content

Manuel:$wgOldChangeTagsIndex

From mediawiki.org
This page is a translated version of the page Manual:$wgOldChangeTagsIndex and the translation is 100% complete.
Paramètres de la base de données: $wgOldChangeTagsIndex
Utiliser l'ancien nom pour les index change_tags.
Introduit dans la version :1.16.0
Retiré dans la version :1.22.0 (Gerrit change 73440; git #7d922d08)
Valeurs autorisées :(booléen)
Valeur par défaut :false

Détails

Utiliser l'ancien nom pour les index change_tags.