From 3d10f91026d78394986e6252d2cc6bf377509bdc Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Sat, 2 May 2015 08:34:28 +0200
Subject: [PATCH] use FILEINFO_MIME_TYPE instead of FILEINFO_MIME (Closes Bug
 #209)

---
 utils/adddoc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/adddoc.php b/utils/adddoc.php
index d88df7a01..1b6df25d9 100644
--- a/utils/adddoc.php
+++ b/utils/adddoc.php
@@ -145,7 +145,7 @@ $user = $dms->getUser(1);
 
 if(is_readable($filename)) {
 	if(filesize($filename)) {
-		$finfo = new finfo(FILEINFO_MIME);
+		$finfo = new finfo(FILEINFO_MIME_TYPE);
 		if(!$mimetype) {
 			$mimetype = $finfo->file($filename);
 		}