Manual:$wgExtModifiedFields

From mediawiki.org
Extension fields: $wgExtModifiedFields
Extension defined fields to change existing tables
Introduced in version:1.16.0
Removed in version:1.36.0 (Gerrit change 554602; git #95649c39)
Allowed values:(see below)
Default value:[]

Details[edit]

Used to modify fields of existing tables.

Usage[edit]

$wgExtModifiedFields[] = array( 'tablename', 'indexname', 'schema_file.sql' );

See also[edit]