complete fix from r34102
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 1 May 2008 23:00:23 +0000 (23:00 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 1 May 2008 23:00:23 +0000 (23:00 +0000)
maintenance/updaters.inc

index 86db76f..dce4494 100644 (file)
@@ -1176,7 +1176,7 @@ function do_populate_parent_id() {
                echo "...rev_parent_id column already populated.\n";
                return;
        }
-       require_once( 'populateParentId.php' );
+       require_once( 'populateParentId.inc' );
        
        global $wgDatabase;
        populate_rev_parent_id( $wgDatabase );