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**