Topic on Extension talk:OpenID Connect

• MW 1.39
• OIDC 8.0.3

$wgOpenIDConnect_UseRealNameAsUserName = true;
$wgOpenIDConnect_MigrateUsersByEmail = true;

When running update.php more than once, it crashes as follows:

Modifying table openid_connect...Wikimedia\Rdbms\DBQueryError from line 1618 of /var/www/html/includes/libs/rdbms/database/Database.php: Error 1060: Duplicate column name 'oidc_id'
Function: Wikimedia\Rdbms\Database::sourceFile( /var/www/html/extensions/OpenIDConnect/includes/../sql/mysql/ChangePrimaryKey.sql )
Query: ALTER TABLE  `openid_connect`
 ADD  oidc_id INT UNSIGNED AUTO_INCREMENT NOT NULL,
 DROP  PRIMARY KEY,
 ADD  PRIMARY KEY (oidc_id)