mirror/FreshRSS
0
0 Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-08-07 04:33:14 -04:00
Code Issues Packages Projects Releases Wiki Activity

Make fileinfo extension optional

Browse Source
This commit is contained in:
Alexandre Alapetite committed 2017-04-08 18:12:12 +02:00
1 parent fe494e000b
commit a542ab8fff
2 files changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

app/install.php
+1 -1
View File
@@ -465,7 +465,7 @@ function printStep1() {
<?php if ($res['fileinfo'] == 'ok') { ?>
<p class="alert alert-success"><span class="alert-head"><?php echo _t('gen.short.ok'); ?></span> <?php echo _t('install.check.fileinfo.ok'); ?></p>
<?php } else { ?>
<p class="alert alert-error"><span class="alert-head"><?php echo _t('gen.short.damn'); ?></span> <?php echo _t('install.check.fileinfo.nok'); ?></p>
<p class="alert alert-warn"><span class="alert-head"><?php echo _t('gen.short.damn'); ?></span> <?php echo _t('install.check.fileinfo.nok'); ?></p>
<?php } ?>
<?php if ($res['data'] == 'ok') { ?>