diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2019-09-18 17:18:36 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2019-09-18 17:18:36 +0200 |
| commit | e761202f8a4c30cd0cb22190728cf0a61a3271bb (patch) | |
| tree | 93176f35bda9cac8786a4032264478293ffa07f6 /app | |
| parent | a8bbcef551e5b93ac1c349cb3d4a754a5c67126c (diff) | |
Remove JSON.php fallback (#2528)
After moving to PHP 5.6+ https://github.com/FreshRSS/FreshRSS/pull/2527
it should not be necessary to have the JSON.php fallback anymore, which
was mainly there due to an obscure licensing issue 6 years ago in Debian
https://wiki.debian.org/qa.debian.org/jsonevil , which broke Ubuntu
13.10 https://github.com/FreshRSS/FreshRSS/issues/306
Diffstat (limited to 'app')
| -rw-r--r-- | app/install.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/install.php b/app/install.php index 47ec1a8a9..178ae082a 100644 --- a/app/install.php +++ b/app/install.php @@ -457,7 +457,7 @@ function printStep1() { <?php if ($res['json'] == 'ok') { ?> <p class="alert alert-success"><span class="alert-head"><?php echo _t('gen.short.ok'); ?></span> <?php echo _t('install.check.json.ok'); ?></p> <?php } else { ?> - <p class="alert alert-warn"><span class="alert-head"><?php echo _t('gen.short.damn'); ?></span> <?php echo _t('install.check.json.nok'); ?></p> + <p class="alert alert-error"><span class="alert-head"><?php echo _t('gen.short.damn'); ?></span> <?php echo _t('install.check.json.nok'); ?></p> <?php } ?> <?php if ($res['pcre'] == 'ok') { ?> |