From 23e2237ec5bd811f562da83289c4b15c3aaec091 Mon Sep 17 00:00:00 2001
From: Joshua Ramon Enslin <joshua@museum-digital.de>
Date: Thu, 3 Sep 2020 20:00:08 +0200
Subject: [PATCH] Add property type declarations

Property type declarations for class variables were added in PHP
7.4.
---
 MDErrorReporter.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MDErrorReporter.php b/MDErrorReporter.php
index 02ed982..af1e28f 100644
--- a/MDErrorReporter.php
+++ b/MDErrorReporter.php
@@ -14,9 +14,9 @@ final class MDErrorReporter {
     const MD_ERROR_KNOWN    = 0;
 
     /** @var string */
-    private $_context;
+    private string $_context;
     /** @var string */
-    private $_contact_mail_addr;
+    private string $_contact_mail_addr;
 
     /**
      * Categorizes an error to better decide how to act on it.