MediaWiki 1.11.0

[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-bot.sql

diff --git a/maintenance/archives/patch-bot.sql b/maintenance/archives/patch-bot.sql
index ce61884c442749e8680565053b2123d5903db945..7625889c8d527acceee5ad759af210386a856d32 100644 (file)
--- a/maintenance/archives/patch-bot.sql
+++ b/maintenance/archives/patch-bot.sql
@@ -7,5 +7,5 @@
 -- column also added to buildTables.inc
 
 ALTER TABLE /*$wgDBprefix*/recentchanges
-  ADD COLUMN rc_bot tinyint(3) unsigned NOT NULL default '0'
+  ADD COLUMN rc_bot tinyint unsigned NOT NULL default '0'
   AFTER rc_minor;