/**

• Use old names for change_tags indices. */

$wgOldChangeTagsIndex = false;

Then we have code like:

$index['change_tag'] = $wgOldChangeTagsIndex ? 'ct_tag' : 'change_tag_tag_id';

Ugh.

Then patch-change_tag-indexes.sql can die too

Version: unspecified
Severity: normal