Added rc_id and rc_patrolled updaters
authorTim Starling <tstarling@users.mediawiki.org>
Sun, 15 Aug 2004 07:24:31 +0000 (07:24 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Sun, 15 Aug 2004 07:24:31 +0000 (07:24 +0000)
maintenance/updaters.inc

index 5538107..d5075f3 100644 (file)
@@ -139,6 +139,16 @@ function do_recentchanges_update() {
                dbsource( "maintenance/archives/patch-rc_ip.sql", $wgDatabase );
                echo "ok\n";
        }
+       if ( !$wgDatabase->fieldExists( "recentchanges", "rc_id" ) ) {
+               echo "Adding rc_id...";
+               dbsource( "maintenance/archives/patch-rc_id.sql", $wgDatabase );
+               echo "ok\n";
+       }
+       if ( !$wgDatabase->fieldExists( "recentchanges", "rc_patrolled" ) ) {
+               echo "Adding rc_patrolled...";
+               dbsource( "maintenance/archives/patch-rc-patrol.sql", $wgDatabase );
+               echo "ok\n";
+       }
 }
 
 function do_user_real_name_update() {