From 112c00ff1b70235841500165bf1129728aad9852 Mon Sep 17 00:00:00 2001
From: Stephan Kasdorf <stephan.kasdorf@bittomine.com>
Date: Sat, 19 Sep 2020 20:41:43 +0200
Subject: [PATCH] Version 0.9.5 beta - in some cases needed for re-clearing the
 module registry

---
 core/c/registry.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/c/registry.php b/core/c/registry.php
index 0bee230..cd648bf 100644
--- a/core/c/registry.php
+++ b/core/c/registry.php
@@ -123,7 +123,7 @@ final class Registry
     /**
      * @desc will reset the registry
      */
-    public function __destruct()
+    public function destroy()
     {
         self::$_instance = NULL;
     }