From 0b1610e50e600810493c46208ed976282976288c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Loguercio?= <jloguercio.work@gmail.com>
Date: Wed, 22 Jun 2016 15:19:43 -0500
Subject: [PATCH] Fix Session delete if documents inside

---
 main/inc/lib/document.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/inc/lib/document.lib.php b/main/inc/lib/document.lib.php
index d9a788d5ac..8d47bf16eb 100755
--- a/main/inc/lib/document.lib.php
+++ b/main/inc/lib/document.lib.php
@@ -6242,7 +6242,7 @@ class DocumentManager
      *
      * @return bool
      */
-    public function deleteDocumentsFromSession($courseInfo, $sessionId)
+    public static function deleteDocumentsFromSession($courseInfo, $sessionId)
     {
         if (empty($courseInfo)) {
             return false;