From ad5dd86ffad56c729f9af9f01e4f2673ec8d683d Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 3 Feb 2021 16:29:12 +0100
Subject: [PATCH] Update psalm.xml

---
 psalm.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/psalm.xml b/psalm.xml
index 2366a60d52..a18af5544c 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -91,7 +91,7 @@
         <file name="public/main/inc/lib/extra_field_option.lib.php"/>
 <!--        <file name="public/main/inc/lib/extra_field_value.lib.php"/>-->
 
-<!--        <file name="public/main/inc/lib/glossary.lib.php"/>-->
+        <file name="public/main/inc/lib/glossary.lib.php"/>
         <file name="public/main/inc/lib/grade_model.lib.php"/>
         <file name="public/main/inc/lib/gradebook.lib.php"/>
         <file name="public/main/inc/lib/groupmanager.lib.php"/>