summaryrefslogtreecommitdiff
path: root/maintenance/counter.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2008-08-15 01:29:47 +0200
committerPierre Schmitz <pierre@archlinux.de>2008-08-15 01:29:47 +0200
commit370e83bb0dfd0c70de268c93bf07ad5ee0897192 (patch)
tree491674f4c242e4d6ba0d04eafa305174c35a3391 /maintenance/counter.php
parentf4debf0f12d0524d2b2427c55ea3f16b680fad97 (diff)
Update auf 1.13.0
Diffstat (limited to 'maintenance/counter.php')
-rw-r--r--maintenance/counter.php7
1 files changed, 7 insertions, 0 deletions
diff --git a/maintenance/counter.php b/maintenance/counter.php
index 67b9ce21..67575ec1 100644
--- a/maintenance/counter.php
+++ b/maintenance/counter.php
@@ -1,4 +1,11 @@
<?php
+/**
+ * Helper file for update.php
+ *
+ * @file
+ * @ingroup Maintenance
+ */
+
function print_c($last, $current) {
echo str_repeat( chr(8), strlen( $last ) ) . $current;
}