Last modified: 2014-01-03 19:53:17 UTC
/** * 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
Was removed with Gerrit change #73440