(bug 34237) Regenerate an empty user_token and save to the database when we try to...
authorDaniel Friesen <dantman@users.mediawiki.org>
Tue, 7 Feb 2012 08:07:28 +0000 (08:07 +0000)
committerDaniel Friesen <dantman@users.mediawiki.org>
Tue, 7 Feb 2012 08:07:28 +0000 (08:07 +0000)
commit877ef150d32c77fd0adf5a387c72de4d8c2b0856
tree864592cf19fc74c49cd67fe2639969bd111ad36c
parentd74aac3510c0cc507f3296fa05233f48583a9470
(bug 34237) Regenerate an empty user_token and save to the database when we try to set the user's cookies for login.
This allows the entire user_token column to be regenerated after a leak by running `UPDATE user SET user_token = NULL;` and letting the user_tokens be regenerated as users try to log back in.
includes/User.php