mirror of
https://github.com/gitbucket/gitbucket.git
synced 2025-11-03 20:15:59 +01:00
(refs #1161)Add new extension point to add global menu
This commit is contained in:
@@ -71,6 +71,11 @@
|
||||
<input type="hidden" name="repository" value="@repository.name"/>
|
||||
}
|
||||
}
|
||||
@gitbucket.core.plugin.PluginRegistry().getGlobalMenus.map { menu =>
|
||||
@menu.createLink(context).map { case (label, link) =>
|
||||
<a href="@path/@link" class="global-header-menu">@label</a>
|
||||
}
|
||||
}
|
||||
@if(loginAccount.isDefined){
|
||||
<div class="pull-right" style="margin-top: 6px;">
|
||||
<div class="btn-group" style="margin-right: 8px;">
|
||||
|
||||
Reference in New Issue
Block a user