isOpen() ) { # Appears to have failed echo( "A connection to the database could not be established. Check the\n" ); echo( "values of \$wgDBadminuser and \$wgDBadminpassword.\n" ); exit(); } print "Going to run database updates for ".wfWikiID()."\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"; } $shared = isset( $options['doshared'] ); $purge = !isset( $options['nopurge'] ); do_all_updates( $shared, $purge ); print "Done.\n"; ?>