Update to r42587 -- use insert() DB wrapper instead of constructing raw SQL with...

[lhc/web/wiklou.git] / maintenance / counter.php

diff --git a/maintenance/counter.php b/maintenance/counter.php
index d84c877..67575ec 100644 (file)
--- a/maintenance/counter.php
+++ b/maintenance/counter.php
@@ -1,5 +1,12 @@
 <?php
+/**
+ * Helper file for update.php
+ *
+ * @file
+ * @ingroup Maintenance
+ */
+
 function print_c($last, $current) {
        echo str_repeat( chr(8), strlen( $last ) ) . $current;
 }
-?>
+