SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / archives / patch-usernewtalk.sql
blob34fae946190225459d60ba4955bbee6e32a5eee1
1 --- This table stores all the IDs of users whose talk
2 --- page has been changed (the respective row is deleted
3 --- when the user looks at the page).
4 --- The respective column in the user table is no longer
5 --- required and therefore dropped.
7 CREATE TABLE /*$wgDBprefix*/user_newtalk (
8   user_id int NOT NULL default '0',
9   user_ip varbinary(40) NOT NULL default '',
10   KEY user_id (user_id),
11   KEY user_ip (user_ip)
12 ) /*$wgDBTableOptions*/;
14 INSERT INTO
15   /*$wgDBprefix*/user_newtalk (user_id, user_ip)
16   SELECT user_id, ''
17     FROM user
18     WHERE user_newtalk != 0;
20 ALTER TABLE /*$wgDBprefix*/user DROP COLUMN user_newtalk;