Mit dem Extension Manager können Sie %PRODUCTNAME-Extensions installieren, entfernen, deaktivieren, aktivieren, exportieren und aktualisieren.
The Extension Manager adds, removes, disables, enables and updates %PRODUCTNAME extensions.