+ # Just in case their LocalSetings.php does not have this:
+ if ( !isset( $wgDBmwschema ))
+ $wgDBmwschema = 'mediawiki';
+
+ $typechanges = array(
+ array("oldimage", "oi_size", "int4"),
+ array("oldimage", "oi_width", "int4"),
+ array("oldimage", "oi_height", "int4"),
+ array("image", "img_size", "int4"),
+ array("image", "img_width", "int4"),
+ array("image", "img_height", "int4"),
+ );
+
+ $newcols = array(
+ array("mwuser", "user_newpass_time", "TIMESTAMPTZ"),
+ array("mwuser", "user_editcount", "INTEGER"),
+ array("ipblocks", "ipb_anon_only", "CHAR NOT NULL DEFAULT '0'"),
+ array("ipblocks", "ipb_create_account", "CHAR NOT NULL DEFAULT '1'"),
+ array("ipblocks", "ipb_enable_autoblock", "CHAR NOT NULL DEFAULT '1'"),
+ array("recentchanges", "rc_old_len", "INT"),
+ array("recentchanges", "rc_new_len", "INT"),
+ array("revision", "rev_len", "INT")
+ );
+
+ $newtables = array(
+ array("mwuser", "patch-mwuser.sql"),
+ array("pagecontent", "patch-pagecontent.sql"),
+ array("querycachetwo", "patch-querycachetwo.sql"),
+ array("redirect", "patch-redirect.sql"),
+ array("page_restrictions", "patch-page_restrictions.sql"),
+ array("profiling", "patch-profiling.sql"),
+ array("mediawiki_version", "patch-mediawiki_version.sql"),
+ array("archive2", "patch-archive2.sql")
+ );