From 4c7f1e5e2be02f4ab84a196a9e7d9b8cdc82e863 Mon Sep 17 00:00:00 2001
From: Joshua Ramon Enslin <joshua@museum-digital.de>
Date: Sat, 8 Aug 2020 22:59:16 +0200
Subject: [PATCH] Fix type hint

---
 src/MDOutputHandler.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/MDOutputHandler.php b/src/MDOutputHandler.php
index 4450684..3929244 100644
--- a/src/MDOutputHandler.php
+++ b/src/MDOutputHandler.php
@@ -24,7 +24,7 @@ class MDOutputHandler {
     private $_counter;
     /** @var boolean */
     private $_file_logging;
-    /** @var integer */
+    /** @var float */
     private $_startTime;
 
     /**