newFromParams( $wgDBserver, $wgDBadminuser, $wgDBadminpassword, $wgDBname ); print "Going to run database updates for $wgDBname\n"; print "Depending on the size of your database this may take a while!\n"; if( !isset( $options['quick'] ) ) { print "Abort with control-c in the next five seconds... "; for ($i = 6; $i >= 1;) { print_c($i, --$i); sleep(1); } echo "\n"; } do_all_updates(); print "Done.\n"; ?>