protected function getHeader()

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>;
  }