tree 573796996625c5570f8ca185248301cf1ad8d174
parent 032c8ad56906c39f446e567931b341819404e37a
author Patrick Hiesel <hiesel@google.com> 1563524064 +0200
committer Patrick Hiesel <hiesel@google.com> 1563524064 +0200

Add an extension point to show a small banner next to the search bar

A plugin or a site theme (gerrit-theme.html) may register a custom
Element to be inserted into this endpoint.

``` js
Gerrit.install(plugin => {
  plugin.registerCustomComponent(
      'header-small-banner', 'gt-header-small-banner', {replace: true});
});
```

``` html
<dom-module id="gt-header-small-banner">
  <template>
    <a href="http://somecode.com/">Bug Tracker</a>
  </template>
  <script>
    Polymer({is: 'gt-header-small-banner'});
  </script>
</dom-module>
````

Change-Id: Ib42550271bae27089978c5cbd81642361acdaaa2