Allows plugins to replace parts of PolyGerrit with plugin-provided
custom elements that use HTML/CSS for purposes of theming.
Also adds an intent-based API method for replacing logo and title only:
<dom-module id="chromium-style">
<script>
Gerrit.install(function(plugin) {
plugin.theme().setHeaderLogoAndTitle(
plugin.url('/static/my_logo.png'), 'My Title');
});
</script>
</dom-module>
Advanced example: plugin replacing contents of header title section.
<dom-module id="my-style">
<script>
Gerrit.install(function(plugin) {
plugin.registerCustomComponent(
'header-title', 'my-header', {replace: true});
});
</script>
</dom-module>
<dom-module id="my-header">
<template>
<style>
/* styles go here */
</style>
<span>
<img src="">
<span>My Custom Title</span>
</span>
</template>
<script>
Polymer({is: 'my-header'});
</script>
</dom-module>
Change-Id: I4c5410ba84891db864f1a5ab733291c1481f4496
8d36970418