Revert r33478 for now; I don't much like the field name user_timestamp, it's very...
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 17 Apr 2008 18:52:20 +0000 (18:52 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 17 Apr 2008 18:52:20 +0000 (18:52 +0000)
maintenance/archives/patch-user_timestamp.sql [deleted file]
maintenance/tables.sql
maintenance/updaters.inc

diff --git a/maintenance/archives/patch-user_timestamp.sql b/maintenance/archives/patch-user_timestamp.sql
deleted file mode 100644 (file)
index b1f49a7..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
--- For getting diff since last view
-ALTER TABLE /*$wgDBprefix*/user_newtalk
-  ADD user_timestamp binary(14) NOT NULL default '';
index 740bef6..fa7e75f 100644 (file)
@@ -166,8 +166,6 @@ CREATE TABLE /*$wgDBprefix*/user_newtalk (
   -- If the user is an anonymous user their IP address is stored here
   -- since the user_id of 0 is ambiguous
   user_ip varbinary(40) NOT NULL default '',
-  -- The lowest timestamp of revisions that user has yet to view
-  user_timestamp binary(14) NOT NULL default '',
   INDEX user_id (user_id),
   INDEX user_ip (user_ip)
 
index 63a2671..e0208b6 100644 (file)
@@ -138,7 +138,6 @@ $wgMysqlUpdates = array(
        array( 'add_table', 'category',                          'patch-category.sql' ),
        array( 'do_category_population' ),
        array( 'add_field', 'archive',       'ar_parent_id',     'patch-ar_parent_id.sql'),
-       array( 'add_field', 'user_newtalk',  'user_timestamp',   'patch-user_timestamp.sql'),
        array( 'do_populate_parent_id' ),
 );