jenkins-bot has submitted this change and it was merged. Change subject: New methods to drop or rename extension index in DatabaseUpdater ......................................................................
New methods to drop or rename extension index in DatabaseUpdater - DatabaseUpdater::dropExtensionIndex( $tableName, $indexName, $sqlPath ) - DatabaseUpdater::renameExtensionIndex( $tableName, $oldIndexName, $newIndexName, $sqlPath, $skipBothIndexExistWarning = false ) [ Case use ] This feature is required to help extensions schema change to ensure compatibility with SQLite. First extensions to use it will be Echo and Flagged Revisions. Change-Id: Ia2782d644593ab6b64b67720ed61b3994db10346 --- M RELEASE-NOTES-1.21 M includes/installer/DatabaseUpdater.php 2 files changed, 72 insertions(+), 1 deletion(-) Approvals: IAlex: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/39169 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia2782d644593ab6b64b67720ed61b3994db10346 Gerrit-PatchSet: 9 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Dereckson <[email protected]> Gerrit-Reviewer: Asher <[email protected]> Gerrit-Reviewer: Dereckson <[email protected]> Gerrit-Reviewer: IAlex <[email protected]> Gerrit-Reviewer: MarkAHershberger <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
