797dc98f66a7c6780f6c7d27815ca9fe97325593
4 ALTER TABLE /*$wgDBprefix*/user ADD user_token
char(32) binary NOT NULL default '';
6 UPDATE /*$wgDBprefix*/user SET user_token
= concat(
10 substring(rand(),3,4),
11 substring(rand(),3,4),
12 substring(rand(),3,4),
13 substring(rand(),3,4),