diff options
Diffstat (limited to 'maintenance/convertLinks.inc')
-rw-r--r-- | maintenance/convertLinks.inc | 7 |
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); } - - - -?> |