Added phpdoc (#3175)

redaxo · Jan 19, 2020 · 14fbb9c · 14fbb9c
1 parent 417c0bf
commit 14fbb9c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/redaxo/src/core/lib/util/timer.php b/redaxo/src/core/lib/util/timer.php
@@ -13,14 +13,16 @@ class rex_timer
     public const MILLISEC = 1000;
     public const MICROSEC = 1000000;
 
+    /**
+     * @var array
+     * @psalm-var array<string, float>
+     */
     public static $serverTimings = [];
 
     private $start;
     private $duration;
 
     /**
-     * Constructor.
-     *
      * @param float $start Start time
      */
     public function __construct($start = null)