plugins/Yubikey.php
changeset 1 86d41fd204a0
parent 0 9d2c4f04a0d0
child 5 2114640729a5
--- a/plugins/Yubikey.php	Thu Feb 26 01:08:22 2009 -0500
+++ b/plugins/Yubikey.php	Thu Feb 26 01:13:25 2009 -0500
@@ -47,7 +47,7 @@
 // Uninstall schema
 /**!uninstall**
 DROP TABLE {{TABLE_PREFIX}}yubikey;
-ALTER TABLE {{TABLE_PREFIX}}users STOP user_yubikey_flags;
+ALTER TABLE {{TABLE_PREFIX}}users DROP user_yubikey_flags;
 **!*/
 
 /**!language**