From 7cbaa89bae8d41fc343b3cdeb583caf2b38517bf Mon Sep 17 00:00:00 2001 From: Luca Date: Tue, 30 Oct 2018 22:19:15 +0100 Subject: [PATCH] Fix minori --- include/init/requirements.php | 3 ++- modules/aggiornamenti/edit.php | 4 ++-- modules/gestione_documentale/actions.php | 8 ++++---- modules/viste/edit.php | 2 +- src/HTMLBuilder/Manager/FileManager.php | 23 ++++++++++++++++------- 5 files changed, 25 insertions(+), 15 deletions(-) diff --git a/include/init/requirements.php b/include/init/requirements.php index 1b6660b86..536fa39fa 100644 --- a/include/init/requirements.php +++ b/include/init/requirements.php @@ -99,8 +99,9 @@ foreach ($settings as $name => $values) { $description = str_replace(['>', '<'], '', $description); } - $description = tr('Valore consigliato: _VALUE_', [ + $description = tr('Valore consigliato: _VALUE_ (Valore attuale: _INI_)', [ '_VALUE_' => $description, + '_INI_' => ini_get($name), ]); } diff --git a/modules/aggiornamenti/edit.php b/modules/aggiornamenti/edit.php index bb607752b..480685486 100644 --- a/modules/aggiornamenti/edit.php +++ b/modules/aggiornamenti/edit.php @@ -87,7 +87,7 @@ function search(button) {

- '.tr('Carica un aggiornamento').' + '.tr('Carica un aggiornamento').'

@@ -110,7 +110,7 @@ function search(button) {

- '.tr('Ricerca aggiornamenti').' + '.tr('Ricerca aggiornamenti').'

'; +} \ No newline at end of file diff --git a/src/HTMLBuilder/Manager/FileManager.php b/src/HTMLBuilder/Manager/FileManager.php index 7af2ef889..0cff1539e 100644 --- a/src/HTMLBuilder/Manager/FileManager.php +++ b/src/HTMLBuilder/Manager/FileManager.php @@ -188,16 +188,25 @@ class FileManager implements ManagerInterface