Étiquette de l’extension : tools

Adds an "Export ZIP" button to the Installed Plugins page, letting you download any extension as a .zip file instantly.