documentation

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index d050072..d310e27 100644 (file)
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -1256,7 +1256,9 @@ function wfMkdirParents( $fullDir, $mode ) {
        return true;
 }
 
-
+/**
+ * Increment a statistics counter
+ */
 function wfIncrStats( $key ) {
        global $wgDBname, $wgMemc;
        $key = "$wgDBname:stats:$key";