API: Various docu and clean-up.

[mediawiki.git] / maintenance / counter.php

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