in src/site/controllers/NonRoutableWebPageController.php [269:319]
protected function getHeader(): x\node {
$header_class = "header headerType".
$this->getRawParameter_UNSAFE('product');
return
<div class={$header_class}>
<div class="widthWrapper">
<div class="headerLogo hackLogo">
<a href="/hack/">
<span class="logoCSS hackLogoCSS">
<i class="logoPolygon a a1" />
<i class="logoPolygon b b1" />
<i class="logoPolygon b b2" />
<i class="logoPolygon a a3" />
<i class="logoPolygon b b3" />
<i class="logoPolygon a a4" />
<i class="logoPolygon b b4" />
</span>
<strong>Hack</strong>
</a>
</div>
<div class="headerLogo hhvmLogo">
<a href="/hhvm/">
<span class="logoCSS hhvmLogoCSS">
<i class="logoPolygon a a1" />
<i class="logoPolygon b b1" />
<i class="logoPolygon a a2" />
<i class="logoPolygon b b2" />
<i class="logoPolygon a a3" />
<i class="logoPolygon b b3" />
<i class="logoPolygon a a4" />
<i class="logoPolygon b b4" />
</span>
<strong>HHVM</strong>
</a>
</div>
<div class="headerElement githubIssueLink">
<github_issue_link
issueTitle={$this->getGithubIssueTitle()}
issueBody={$this->getGithubIssueBody()}
controller={static::class}>
<ui:glyph icon={UIGlyphIcon::BUG} />
See Something Wrong? File an Issue
</github_issue_link>
</div>
<search_bar
class="headerElement"
placeholder="Search our Documentation"
/>
</div>
</div>;
}