Manual:$wgOldChangeTagsIndex/de-formal

From mediawiki.org
This page is a translated version of the page Manual:$wgOldChangeTagsIndex and the translation is 20% complete.
Database settings: $wgOldChangeTagsIndex
Use old names for change_tags indexes.
Eingeführt in Version:1.16.0
Entfernt in Version:1.22.0 (Gerrit change 73440; git #7d922d08)
Erlaubte Werte:(boolean)
Standardwert:false

Details

Use old names for change_tags indexes.