Manual:$wgOldChangeTagsIndex/de

Details
Use old names for change_tags indexes.