diff -r 9d2c4f04a0d0 -r 86d41fd204a0 plugins/Yubikey.php --- 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**