-- user_token patch
-- 2004-09-23
-ALTER TABLE /*$wgDBprefix*/user ADD user_token char(32) binary NOT NULL default '';
+ALTER TABLE /*$wgDBprefix*/user ADD user_token binary(32) NOT NULL default '';
UPDATE /*$wgDBprefix*/user SET user_token = concat(
substring(rand(),3,4),