* Use the preeeeeeeeety count

diff --git a/maintenance/rebuildtextindex.inc b/maintenance/rebuildtextindex.inc
index beac559..9395a81 100644 (file)
--- a/maintenance/rebuildtextindex.inc
+++ b/maintenance/rebuildtextindex.inc
@@ -1,4 +1,5 @@
 <?php
+require_once 'counter.php';
 /**
  * Rebuild the fulltext search indexes. This may take a while
  * depending on the database size and server configuration.
@@ -45,7 +46,7 @@ function rebuildTextIndex( &$database )
        $n = 0;
 
        while ( $n < $count ) {
-               print "$n\n";
+               print_c( $n - 1, $n);
                $end = $n + RTI_CHUNK_SIZE - 1;
                $sql = "SELECT page_id, page_namespace, page_title, old_flags, old_text
                          FROM $page, $revision, $text