From d89f8aadc26abe660c8d6ce119ef46e17b0bc7aa Mon Sep 17 00:00:00 2001
From: Daniel Maya <daniel.maya@artica.es>
Date: Thu, 16 Jun 2016 11:50:20 +0200
Subject: [PATCH] added new types of text. Ticket #3435.

(cherry picked from commit ee4a5f4119f9154c65f8f742bbf15d5f5a458928)
---
 pandora_console/include/functions_filemanager.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pandora_console/include/functions_filemanager.php b/pandora_console/include/functions_filemanager.php
index e9683f2058..c37006e1b7 100644
--- a/pandora_console/include/functions_filemanager.php
+++ b/pandora_console/include/functions_filemanager.php
@@ -687,7 +687,8 @@ function filemanager_file_explorer($real_directory, $relative_directory,
 				break;
 			case MIME_UNKNOWN:
 				if ($fileinfo['size'] == 0) {
-					if (strstr($fileinfo['name'], '.txt') !== false) {
+
+					if ((strstr($fileinfo['name'], '.txt') !== false)||(strstr($fileinfo['name'], '.conf') !== false)||(strstr($fileinfo['name'], '.sql') !== false)||(strstr($fileinfo['name'], '.pl') !== false)) {
 						$fileinfo['mime'] = MIME_TEXT;
 						$data[0] = html_print_image ('images/mimetypes/text.png', true, array('title' => __('Text file')));
 					}else{