Jump to content

Manual:$wgOldChangeTagsIndex

From mediawiki.org
Database settings: $wgOldChangeTagsIndex
Use old names for change_tags indexes.
Introduced in version:1.16.0
Removed in version:1.22.0 (Gerrit change 73440; git #7d922d08)
Allowed values:(boolean)
Default value:false

Details

Use old names for change_tags indexes.