diff options
Diffstat (limited to 'settings/templates/admin.php')
| -rw-r--r-- | settings/templates/admin.php | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/settings/templates/admin.php b/settings/templates/admin.php index 8c2b6148a66..fac8a689883 100644 --- a/settings/templates/admin.php +++ b/settings/templates/admin.php @@ -37,6 +37,20 @@ if (!$_['isWebDavWorking']) { <?php } +// if module fileinfo available? +if (!$_['has_fileinfo']) { + ?> +<fieldset class="personalblock"> + <legend><strong><?php echo $l->t('Module \'fileinfo\' missing');?></strong></legend> + + <span class="connectionwarning"> + <?php echo $l->t('The PHP module \'fileinfo\' is missing. We strongly recommend to enable this module to get best results with mime-type detection.'); ?> + </span> + +</fieldset> +<?php +} + // is locale working ? if (!$_['islocaleworking']) { ?> |