Manual:$wgOldChangeTagsIndex/de-formal

Details
Use old names for change_tags indexes.