Manual:$wgOldChangeTagsIndex
| This feature was removed completely in version 1.22.0. |
| 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 |
| Other settings: Alphabetical | By function | |
Details
Use old names for change_tags indexes.