MediaWiki 1.11.0

[autoinstalls/mediawiki.git] / maintenance / archives / patch-archive-rev_id.sql

diff --git a/maintenance/archives/patch-archive-rev_id.sql b/maintenance/archives/patch-archive-rev_id.sql
index 375001b8e1afd386ffb1fa03265ff57add3d3db0..b9d789ee2344c24ab6c06427f65db89c19770893 100644 (file)
--- a/maintenance/archives/patch-archive-rev_id.sql
+++ b/maintenance/archives/patch-archive-rev_id.sql
@@ -3,4 +3,4 @@
 
 ALTER TABLE /*$wgDBprefix*/archive
   ADD
-    ar_rev_id int(8) unsigned;
+    ar_rev_id int unsigned;