MediaWiki 1.30.2

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

diff --git a/maintenance/archives/patch-searchindex.sql b/maintenance/archives/patch-searchindex.sql
index fb54dbbe554a42a96593f172a837f6f90d3736bd..36507a2be8e889e5b0f6d0080eec9929dbce35b1 100644 (file)
--- a/maintenance/archives/patch-searchindex.sql
+++ b/maintenance/archives/patch-searchindex.sql
@@ -9,17 +9,17 @@
 DROP TABLE IF EXISTS /*$wgDBprefix*/searchindex;
 CREATE TABLE /*$wgDBprefix*/searchindex (
   -- Key to page_id
-  si_page int(8) unsigned NOT NULL,
-  
+  si_page int unsigned NOT NULL,
+
   -- Munged version of title
   si_title varchar(255) NOT NULL default '',
-  
+
   -- Munged version of body text
-  si_text mediumtext NOT NULL default '',
-  
+  si_text mediumtext NOT NULL,
+
   UNIQUE KEY (si_page)
 
-) TYPE=MyISAM;
+) ENGINE=MyISAM;
 
 -- Copying data into new table...
 INSERT INTO /*$wgDBprefix*/searchindex