From 680540ab57cc8b56a0237860c311388f98187b07 Mon Sep 17 00:00:00 2001 From: Luca Date: Thu, 16 May 2019 19:36:57 +0200 Subject: [PATCH] Migliorie minori --- .../plugins/my_impianti.componenti.php | 26 +++++++++---------- .../plugins/my_impianti.interventi.php | 8 +++--- src/Util/Ini.php | 2 +- 3 files changed, 17 insertions(+), 19 deletions(-) diff --git a/modules/my_impianti/plugins/my_impianti.componenti.php b/modules/my_impianti/plugins/my_impianti.componenti.php index 97331847c..1cb3b6c23 100644 --- a/modules/my_impianti/plugins/my_impianti.componenti.php +++ b/modules/my_impianti/plugins/my_impianti.componenti.php @@ -95,7 +95,7 @@ $cmp = \Util\Ini::getList($docroot.'/files/my_impianti/', $id_list); echo '
-
+
-
'; +
'; echo " ".tr('Aggiungi').''; echo ' @@ -253,23 +253,21 @@ if (!empty($rs2)) { // Pulsante Salva/Elimina echo ' -
- - '; - - // Sostituisci componente con un altro dello stesso tipo, posso sostituire solo i componenti installati +
+ '.tr('Elimina').''; + + + // Sostituisci componente con un altro dello stesso tipo, posso sostituire solo i componenti installati if (empty($rs2[$j]['data_sostituzione'])) { echo " - '; + '; } else { echo ' - '; + '; } - - echo ' - - '.tr('Elimina').' - '; + + echo ' + '; echo '
diff --git a/modules/my_impianti/plugins/my_impianti.interventi.php b/modules/my_impianti/plugins/my_impianti.interventi.php index e1925357f..64f6b81cd 100644 --- a/modules/my_impianti/plugins/my_impianti.interventi.php +++ b/modules/my_impianti/plugins/my_impianti.interventi.php @@ -180,11 +180,11 @@ echo '


- - - + + + '; echo '
-
'; +
'; \ No newline at end of file diff --git a/src/Util/Ini.php b/src/Util/Ini.php index f28e7a76b..53cc455cf 100644 --- a/src/Util/Ini.php +++ b/src/Util/Ini.php @@ -90,7 +90,7 @@ class Ini $files = glob(realpath($dir).'/*.ini'); foreach ($files as $file) { if (!in_array(basename($file), $exclude)) { - $results[] = [basename($file), self::getValue(self::readFile($file), 'Nome')]; + $results[] = [basename($file), self::getValue(self::readFile($file), 'Nome').' ('.basename($file).')']; } }