Manual:$wgOldChangeTagsIndex/fr

From Linux Web Expert

<translate> Database settings</translate>: $wgOldChangeTagsIndex
Utiliser l'ancien nom pour les index change_tags.
<translate> Introduced in version:</translate>1.16.0
<translate> Removed in version:</translate>1.22.0 (Gerrit change 73440; git #7d922d08)
<translate> Allowed values:</translate>(booléen)
<translate> Default value:</translate>false

Détails

Utiliser l'ancien nom pour les index change_tags.