प्लगइन टैग: tools

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