[spip-dev] inc_majbase.php3 : INDEX idx (idx) au lieu de ADD INDEX idx (idx)

J'ai remarqué dans le fichier inc_majbase.php3 que l'on rencontre plusieurs fois
"INDEX idx (idx)" au lieu de "ADD INDEX idx (idx)".

Par exemple, on rencontre le code suivant :
if ($version_installee < 1.730) {
...
spip_query("ALTER TABLE spip_mots ADD idx ENUM('', '1', 'non', 'oui', 'idx')
DEFAULT '' NOT NULL");
spip_query("ALTER TABLE spip_mots INDEX idx (idx)");
...

Si l'on exécute (dans l'ordre) ces deux requêtes sql dans MYSQL sur une base
d'une version < 1.730, la seconde requête génère un message d'erreur :

Error Code : 1064
Erreur de syntaxe près de 'INDEX idx (idx)'

J'ai remarqué dans le fichier inc_majbase.php3 que l'on rencontre plusieurs fois
"INDEX idx (idx)" au lieu de "ADD INDEX idx (idx)".

Je corrige ; merci !

-- Fil