Deal with garbage user_token values in the DB.
authorASchulz <aschulz@wikimedia.org>
Wed, 27 Feb 2013 01:01:41 +0000 (17:01 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Feb 2013 21:08:03 +0000 (21:08 +0000)
commita6ac08128d41f4e786669076ca55a5eb9f2cf81a
tree75736ea6b2df64370c68277a3746c568e19c572a
parent018686256b0406ccc9f94f4cb2656e966645e2ea
Deal with garbage user_token values in the DB.

Change-Id: I92f1645d4a1cfc4151bd34b566ec3ac05eab427f
includes/User.php