plugins/Yubikey.php
changeset 1 86d41fd204a0
parent 0 9d2c4f04a0d0
child 5 2114640729a5
equal deleted inserted replaced
0:9d2c4f04a0d0 1:86d41fd204a0
    45 **!*/
    45 **!*/
    46 
    46 
    47 // Uninstall schema
    47 // Uninstall schema
    48 /**!uninstall**
    48 /**!uninstall**
    49 DROP TABLE {{TABLE_PREFIX}}yubikey;
    49 DROP TABLE {{TABLE_PREFIX}}yubikey;
    50 ALTER TABLE {{TABLE_PREFIX}}users STOP user_yubikey_flags;
    50 ALTER TABLE {{TABLE_PREFIX}}users DROP user_yubikey_flags;
    51 **!*/
    51 **!*/
    52 
    52 
    53 /**!language**
    53 /**!language**
    54 
    54 
    55 The following text up to the closing comment tag is JSON language data.
    55 The following text up to the closing comment tag is JSON language data.