Efficiently reset null user tokens
authorcsteipp <csteipp@wikimedia.org>
Thu, 25 Jul 2013 21:25:00 +0000 (14:25 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 28 Aug 2013 22:16:58 +0000 (15:16 -0700)
commit4191b3d0b1b134610114c165487e30e6d82402f6
tree1189c1ff491554b98bb027a268af5ab54e4faa4c
parent5816454e014a87359794a198eb7355ea8f3bcb0c
Efficiently reset null user tokens

Allow resetting null tokens (users affected by bug 41586), and improve
the overall performance of the script for large wikis.

Adds "nulls" flag to indicate that only users with bad tokens get reset.

Bug: 41586
Change-Id: I524607d3e54aa1c3703019cca46b69558847182e
maintenance/resetUserTokens.php