Merge "Drop unused patch-bot.sql patch"

This commit is contained in:
jenkins-bot 2021-03-04 21:21:28 +00:00 committed by Gerrit Code Review
commit fdc8d2424a

View file

@ -1,11 +0,0 @@
-- Add field to recentchanges for easy filtering of bot entries
-- edits by a user with 'bot' in user.user_rights should be
-- marked 1 in rc_bot.
-- Change made 2002-12-15 by Brion VIBBER <brion@pobox.com>
-- this affects code in Article.php, User.php SpecialRecentchanges.php
-- column also added to buildTables.inc
ALTER TABLE /*$wgDBprefix*/recentchanges
ADD COLUMN rc_bot tinyint unsigned NOT NULL default '0'
AFTER rc_minor;