wikimedia / mediawiki

			];

		}

		foreach ( $wgExtNewIndexes as $fieldRecord ) {

			$updates[] = [

				'addIndex', $fieldRecord[0], $fieldRecord[1],

				$fieldRecord[2], true

			];

		}

		foreach ( $wgExtModifiedFields as $fieldRecord ) {

			$updates[] = [

		}

		# Add missing extension indexes

		foreach ( $wgExtNewIndexes as $fieldRecord ) {

			$updates[] = [

				'addPgExtIndex', $fieldRecord[0], $fieldRecord[1],

				$fieldRecord[2]

			];

		}

		return $updates;

	}