]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - maintenance/archives/patch-searchindex.sql
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-searchindex.sql
index 452c454851dbefe308c33ea3333bc54a1b46e8f2..36507a2be8e889e5b0f6d0080eec9929dbce35b1 100644 (file)
@@ -10,16 +10,16 @@ DROP TABLE IF EXISTS /*$wgDBprefix*/searchindex;
 CREATE TABLE /*$wgDBprefix*/searchindex (
   -- Key to page_id
   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,
-  
+
   UNIQUE KEY (si_page)
 
-) TYPE=MyISAM;
+) ENGINE=MyISAM;
 
 -- Copying data into new table...
 INSERT INTO /*$wgDBprefix*/searchindex