--- /dev/null
+-- Add rev_bot column. We don't need an index if all we want to be able to do
+-- is, e.g., hide bot edits: most edits are non-bot, so for normal use it's
+-- better to just look at 20% more rows or whatever than to add a new index.
+ALTER TABLE /*$wgDBprefix*/revision
+ ADD COLUMN rev_bot tinyint unsigned NOT NULL default 0 AFTER rev_deleted;
--- /dev/null
+-- New index on revision table to allow searches for all edits by a given user
+-- to a given page. Added 2007-08-28
+
+ALTER TABLE /*$wgDBprefix*/revision
+ ADD INDEX page_user_timestamp (rev_page,rev_user,rev_timestamp);