From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 15 Aug 2008 01:29:47 +0200
Subject: Update auf 1.13.0

---
 maintenance/counter.php | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'maintenance/counter.php')

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;
 }
-- 
cgit v1.2.3-54-g00ecf