don't leave empty plugins node to avoid old schema violation

vimeo · Jul 12, 2018 · 140bf35 · 140bf35
1 parent d3ae2af
commit 140bf35
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Psalm/PluginManager/ConfigFile.php b/src/Psalm/PluginManager/ConfigFile.php
@@ -55,6 +55,10 @@ public function removePlugin(string $plugin_class): void
                 break;
             }
         }
+        if (!$config_xml->plugins->children()->count()) {
+            // avoid breaking old psalm binaries, whose schema did not allow empty plugins
+            unset($config_xml->plugins[0]);
+        }
 
         $config_xml->asXML($this->path);
     }