From a9ec3d0d1fd506ba9779a42327ec7f5b5357c929 Mon Sep 17 00:00:00 2001
From: logmanoriginal <logmanoriginal@users.noreply.github.com>
Date: Sun, 18 Nov 2018 15:58:32 +0100
Subject: [PATCH] [Configuration] Change scope of $config to private

---
 lib/Configuration.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/Configuration.php b/lib/Configuration.php
index 4f6f2f64..8633eaca 100644
--- a/lib/Configuration.php
+++ b/lib/Configuration.php
@@ -37,10 +37,8 @@ final class Configuration {
 	 * Use {@see Configuration::getConfig()} instead.
 	 *
 	 * @var array|null
-	 *
-	 * @todo Change the scope of this property to protected or private
 	 */
-	public static $config = null;
+	private static $config = null;
 
 	/**
 	 * Throw an exception when trying to create a new instance of this class.