php · naruzl · Nov 6, 2020 · Nov 6, 2020 · Nov 6, 2020 · Nov 7, 2020
@@ -103,6 +103,10 @@ if (!isset($config["languages"])) {
  <base href="<?php echo $_SERVER["BASE_HREF"] ?>">
 <?php endif ?>
 
+<?php if (isset($config['meta_tags'])) foreach($config['meta_tags'] as $property => $content): ?>
+ <meta property="<?php echo $property; ?>" content="<?php echo $content; ?>" />
+<?php endforeach ?>
+
 </head>
 <body class="<?php print $curr; ?> <?php echo $classes; ?>">
 
@@ -116,6 +120,13 @@ if (!isset($config["languages"])) {
  <li class="<?php echo $curr == "docs" ? "active" : ""?>"><a href="/docs.php">Documentation</a></li>
  <li class="<?php echo $curr == "community" ? "active" : ""?>"><a href="/get-involved" >Get Involved</a></li>
  <li class="<?php echo $curr == "help" ? "active" : ""?>"><a href="/support">Help</a></li>
+<?php if (!empty($GLOBALS['RELEASES'][8])): ?>
+ <li class="<?php echo false !== strpos($curr, "php_8_0_x") ? "active" : "" ?>">
+ <a href="/releases/8_0_x.php">
+ <img src="/images/php8/logo_php8.svg" alt="php8" height="22" width="60">
+ </a>
+ </li>
+<?php endif ?>
  </ul>
  <form class="navbar-search" id="topsearch" action="/search.php">
  <input type="hidden" name="show" value="quickref">

@@ -46,6 +46,17 @@ function highlight_php($code, $return = FALSE)
  else { echo $highlighted; }
 }
 
+// Same as highlight_php() but does not require '<?php' in $code
+function highlight_php_trimmed($code, $return = false)
+{
+ $code = "<?php\n" . $code;
+ $highlighted_code = highlight_php($code, true);
+ $highlighted_code = preg_replace("/\&lt;\?php(\<br \/\>)+/", '', $highlighted_code, 1);
+
+ if ($return) { return $highlighted_code; }
+ else { echo $highlighted_code; }
+}
+
 // Stats pages still need this
 function commonHeader($title) { site_header($title); }
 
@@ -694,4 +705,39 @@ function doc_toc_title($lang, $index, $file, $elm = "dt") {
  echo "<$elm><a href='/manual/$lang/$link'>$title</a></$elm>\n";
 }
 
+
+function release_language_chooser($currentlang) {
+ $LANGUAGES = array(
+ 'en' => 'English',
+ 'pt_BR' => 'Brazilian Portuguese',
+ 'de' => 'German',
+ 'ru' => 'Russian',
+ );
+
+ // Print out the form with all the options
+ $format_options = function () use ($currentlang, $LANGUAGES) {
+ $out = '';
+ $tab = str_repeat(' ', 6);
+ foreach ($LANGUAGES as $lang => $text) {
+ $selected = '';
+ if ($lang == $currentlang) {
+ $selected = ' selected="selected"';
+ }
+ $out .= "$tab<option value='$lang'$selected>$text</option>\n";
+ }
+ return trim($out);
+ };
+ $r = <<<CHANGE_LANG
+ <form action="" method="get" id="changelang" name="changelang">
+ <fieldset>
+ <label for="changelang-langs">Change language:</label>
+ <select onchange="document.changelang.submit()" name="lang" id="changelang-langs">
+ {$format_options()}
+ </select>
+ </fieldset>
+ </form>
+CHANGE_LANG;
+ return trim($r);
+}
+
 /* vim: set et ts=4 sw=4 ft=php: : */