• Robert Ricci's avatar
    Change user verification keys. Verification key is now an md5 hash · a4e8ca5b
    Robert Ricci authored
    of a random number, as suggested in the php manual. This number
    is stashed in the database, in the new verify_key column in the
    users table.
    Rename the functions that generate and get the keys, and move from
    defs.php3 to dbdefs.php3, since they're now DB operations.