maintenance/counter.php


1
2
3
4
5
6
7
8
9
10
11
12

<?php
/**
 * Helper file for update.php
 *
 * @file
 * @ingroup Maintenance
 */

function print_c($last, $current) {
	echo str_repeat( chr(8), strlen( $last ) ) . $current;
}