jenkins-bot has submitted this change and it was merged.
Change subject: Fix MySQL incompatibility
......................................................................
Fix MySQL incompatibility
Change-Id: If5073598e817e1609f890bf3c046d456b87f2bbe
---
M EducationProgram.hooks.php
M sql/rename_upc_index.sql
2 files changed, 2 insertions(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/EducationProgram.hooks.php b/EducationProgram.hooks.php
index 4e36fef..051beb4 100644
--- a/EducationProgram.hooks.php
+++ b/EducationProgram.hooks.php
@@ -43,6 +43,7 @@
'course_touched',
__DIR__ . '/sql/AddTouched.sql'
);
+
$updater->renameExtensionIndex(
'ep_users_per_course',
'ep_users_per_course',
diff --git a/sql/rename_upc_index.sql b/sql/rename_upc_index.sql
index d173bfc..c15a9c3 100644
--- a/sql/rename_upc_index.sql
+++ b/sql/rename_upc_index.sql
@@ -1,5 +1,5 @@
-- for SQLite compatibility, the index can not have the
-- same name as a table
-DROP INDEX IF EXISTS /*i*/ep_users_per_course;
+DROP INDEX /*i*/ep_users_per_course ON /*_*/mw_ep_users_per_course;
CREATE UNIQUE INDEX /*i*/ep_upc_user_courseid_role ON /*_*/ep_users_per_course
(upc_user_id, upc_course_id, upc_role);
--
To view, visit https://gerrit.wikimedia.org/r/50912
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If5073598e817e1609f890bf3c046d456b87f2bbe
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EducationProgram
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Hashar <[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
