From 21dcadd143e7cf80a917941d913c828cb8a96cfd Mon Sep 17 00:00:00 2001
From: Thomas Gelf <thomas@gelf.net>
Date: Mon, 16 Aug 2021 06:17:46 +0200
Subject: [PATCH] Db: remove unused properties

---
 library/Director/Db.php | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/library/Director/Db.php b/library/Director/Db.php
index af859ba0..2a8d6c0c 100644
--- a/library/Director/Db.php
+++ b/library/Director/Db.php
@@ -15,14 +15,10 @@ use Zend_Db_Select;
 
 class Db extends DbConnection
 {
-    protected $modules = array();
-
-    protected static $zoneCache;
-
-    protected static $commandCache;
-
+    /** @var Settings */
     protected $settings;
 
+    /** @var string */
     protected $masterZoneName;
 
     protected function db()