Merge "Make update.php file executable"
[mediawiki.git] / maintenance / archives / patch-user_token.sql
bloba3eb0bfdd33b22cbbeb8716dcdc3b0b9e806fda0
1 -- user_token patch
2 -- 2004-09-23
4 ALTER TABLE /*$wgDBprefix*/user ADD user_token  binary(32) NOT NULL default '';
6 UPDATE /*$wgDBprefix*/user SET user_token = concat(
7         substring(rand(),3,4),
8         substring(rand(),3,4),
9         substring(rand(),3,4),
10         substring(rand(),3,4),
11         substring(rand(),3,4),
12         substring(rand(),3,4),
13         substring(rand(),3,4),
14         substring(rand(),3,4)