From 1293e1f53debbea1d68b9117c4f04a23d86c2dc3 Mon Sep 17 00:00:00 2001 From: Amir Sarabadani Date: Thu, 4 Mar 2021 21:36:45 +0100 Subject: [PATCH] Drop unused patch-bot.sql patch This patch was introduced in r1015 (2002, I'm not joking) and was never wired to update.php and any mention of it was removed from documentation in r69187 (2010). Since then, you can't find any mention of this file. It clearly won't run on any modern mediawiki database. Change-Id: Ib13cbd632599666c769830b4f07d61ead14e6af2 --- maintenance/archives/patch-bot.sql | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 maintenance/archives/patch-bot.sql diff --git a/maintenance/archives/patch-bot.sql b/maintenance/archives/patch-bot.sql deleted file mode 100644 index 7625889c8d5..00000000000 --- a/maintenance/archives/patch-bot.sql +++ /dev/null @@ -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 --- 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;