change from UNIQUE KEY to UNIQUE INDEX

diff --git a/mod/wiki/db/mysql.php b/mod/wiki/db/mysql.php
index 32884a54d514384ed8a22c85c29cbadde33f1072..d00034f8a87e4e2b21a342e489e057d04501fc5b 100644 (file)
--- a/mod/wiki/db/mysql.php
+++ b/mod/wiki/db/mysql.php
@@ -171,7 +171,7 @@ CREATE TABLE prefix_wiki_locks
   lockedsince INT(10) NOT NULL DEFAULT 0,
   lockedseen INT(10) NOT NULL DEFAULT 0,
   PRIMARY KEY(id),
-  UNIQUE KEY wiki_locks_uk(wikiid,pagename),
+  UNIQUE INDEX wiki_locks_uk(wikiid,pagename),
   INDEX wiki_locks_ix(lockedseen)  
 );"); 
     }