MediaWiki 1.17.0

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

diff --git a/maintenance/archives/patch-cache.sql b/maintenance/archives/patch-cache.sql
index 5651c3ce6c11a8a380595ff48b7f617a86021ce1..0545da8b046e0512f7a898503e1e245174b1ac06 100644 (file)
--- a/maintenance/archives/patch-cache.sql
+++ b/maintenance/archives/patch-cache.sql
@@ -15,7 +15,7 @@
 -- cur_touched is later, the page must be regenerated.
 
 ALTER TABLE /*$wgDBprefix*/cur
-  ADD COLUMN cur_touched char(14) binary NOT NULL default '';
+  ADD COLUMN cur_touched binary(14) NOT NULL default '';
 
 -- Existing pages should be initialized to the current
 -- time so they don't needlessly rerender until they are
@@ -36,6 +36,6 @@ UPDATE /*$wgDBprefix*/cur
 -- sent again.
 
 ALTER TABLE /*$wgDBprefix*/user
-  ADD COLUMN user_touched char(14) binary NOT NULL default '';
+  ADD COLUMN user_touched binary(14) NOT NULL default '';
 UPDATE /*$wgDBprefix*/user
   SET user_touched=NOW()+0;