maintenance/counter.php

   1 <?php
   2 /**
   3  * Helper file for update.php
   4  *
   5  * @file
   6  * @ingroup Maintenance
   7  */
   8
   9 function print_c($last, $current) {
  10         echo str_repeat( chr(8), strlen( $last ) ) . $current;
  11 }
  12