summaryrefslogtreecommitdiff
path: root/maintenance/convertLinks.inc
diff options
context:
space:
mode:
Diffstat (limited to 'maintenance/convertLinks.inc')
-rw-r--r--maintenance/convertLinks.inc7
1 files changed, 2 insertions, 5 deletions
diff --git a/maintenance/convertLinks.inc b/maintenance/convertLinks.inc
index d0c57f78..e4deb22b 100644
--- a/maintenance/convertLinks.inc
+++ b/maintenance/convertLinks.inc
@@ -1,7 +1,8 @@
<?php
/**
+ * @file
* @todo document
- * @addtogroup Maintenance
+ * @ingroup Maintenance
*/
/** */
@@ -213,7 +214,3 @@ function getMicroTime() { # return time in seconds, with microsecond accuracy
list($usec, $sec) = explode(" ", microtime());
return ((float)$usec + (float)$sec);
}
-
-
-
-?>