diff --git a/desktop/php/update.php b/desktop/php/update.php index 5d7295083a..e4e81880a3 100644 --- a/desktop/php/update.php +++ b/desktop/php/update.php @@ -87,6 +87,7 @@ +
{{Log :}}
@@ -94,7 +95,6 @@
-
{{IMPORTANT : Ne sont affichés ici que les packages Linux n’étant pas à jour. Une liste vide signifiant que votre système Linux est à jour.}}
@@ -107,6 +107,66 @@
+ $entries) { + if (!is_array($entries)) continue; + foreach ($entries as $name => $info) { + $packagesList[] = [ + 'plugin' => $plugin, + 'type' => $type, + 'name' => $name, + 'version' => isset($info['version']) ? $info['version'] : '', + 'reinstall' => isset($info['reinstall']) ? $info['reinstall'] : false, + ]; + } + } + } + } + } +} +?> +

{{Prérequis pip2 et pip3 des plugins installés :}}

+ + + + + + + + + + + + + + + + + + + + + + +
{{Plugin}}{{Type}}{{Nom}}{{Version requise}}{{Réinstallation}}
' . htmlspecialchars($pkg['version']) . '' : 'Non spécifiée'; ?>' : ''; ?>
+ +
+ {{Aucun fichier packages.json trouvé dans les plugins.}} +
+ + @@ -209,4 +269,4 @@ - \ No newline at end of file +