Merge branch 'stable-3.0' into stable-3.1 * stable-3.0: Fix plugin loading under IE 11 Change-Id: Ide4fcd3778085a9708f453360c50bd8fad198bed
A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.