diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
| commit | 370e83bb0dfd0c70de268c93bf07ad5ee0897192 (patch) | |
| tree | 491674f4c242e4d6ba0d04eafa305174c35a3391 /maintenance/convertLinks.inc | |
| parent | f4debf0f12d0524d2b2427c55ea3f16b680fad97 (diff) | |
Update auf 1.13.0
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); } - - - -?> |