From 97acc202dc63dce0cde6b0ccde8d416cc89981dd Mon Sep 17 00:00:00 2001
From: MatteoPistorello <pistorellomatteo8@gmail.com>
Date: Wed, 23 Mar 2022 16:20:59 +0100
Subject: [PATCH] Fix visualizzazione contatori badge plugin

---
 include/top.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/top.php b/include/top.php
index 87b14e967..1dfd438e9 100755
--- a/include/top.php
+++ b/include/top.php
@@ -509,6 +509,7 @@ if (Auth::check()) {
             
                 //Badge count per record plugin
                 $count = 0;
+                $opt = '';
                 if (!empty($plugin['options2'])){
                     $opt = json_decode($plugin['options2'], true);
                 }else if (!empty($plugin['options'])){