Support core-plugins in gerrit.war as a repository Change-Id: Iaaa736699de292a6b341f01bfb1c281e5d5d347a
Gerrit web-based plugin manager