| gerrit_plugin( | |
| name = 'menuextender', | |
| srcs = glob(['src/main/java/**/*.java']), | |
| resources = glob(['src/main/resources/**/*']), | |
| manifest_entries = [ | |
| 'Gerrit-PluginName: menuextender', | |
| 'Gerrit-Module: com.googlesource.gerrit.plugins.menuextender.Module', | |
| 'Gerrit-HttpModule: com.googlesource.gerrit.plugins.menuextender.HttpModule', | |
| ] | |
| ) |