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
editUse old names for change_tags indexes.