diff --git a/src/Command/PluginsGitTelecharger.php b/src/Command/PluginsGitTelecharger.php index 35cfa92..a9e6ef8 100644 --- a/src/Command/PluginsGitTelecharger.php +++ b/src/Command/PluginsGitTelecharger.php @@ -39,6 +39,7 @@ class PluginsGitTelecharger extends PluginsLister 'auted' => 'autorisations_etendues', 'gisgeom' => 'gis_geometries', 'jqueryui' => 'jquery_ui', + 'polyhier' => 'polyhierarchie', ];