Update psalm.xml

5 years ago · ad5dd86ffa
parent b1e89a8781
commit ad5dd86ffa
1 changed files with 1 additions and 1 deletions
--- 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"/>