Fix #11487: Remove idx_email_id index on mantis_email_table

The idx_email_id index on mantis_email_table is not necessary as it only
covers the email_id column. The email_id column happens to be the
primary key of the table and thus doesn't need another index (the
primary key is already an index).

admin/schema.php

@@ -606,3 +606,4 @@ function installer_db_now() {
 /* 180 */
 $upgrade[] = Array( 'CreateIndexSQL', Array( 'idx_tag_name', db_get_table( 'mantis_tag_table' ), 'name' ) );
 $upgrade[] = Array( 'CreateIndexSQL', Array( 'idx_bug_tag_tag_id', db_get_table( 'mantis_bug_tag_table' ), 'tag_id' ) );
+$upgrade[] = Array( 'CreateIndexSQL', Array( 'idx_email_id', db_get_table( 'mantis_email_table' ), 'email_id', array( 'DROP' ) ), Array( 'db_index_exists', Array( db_get_table( 'mantis_email_table' ), 'idx_email_id') ) );