php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Support rendering release pages with PHP 8.3+ (#1613)

Browse Source 
See https://github.com/php/php-src/pull/11913
This commit is contained in:
Theodore Brown
2025-11-19 14:44:24 -06:00
committed by GitHub
parent 84ce0c6804
commit a32bc943fb
2 changed files with 24 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
include/layout.inc
View File

@@ -14,26 +14,33 @@ ini_set('highlight.keyword', 'keyword');
ini_set('highlight.string', 'string');
ini_set('highlight.html', 'html');
// convert PHP 8.2 highlight_string() output to match PHP 8.3+
function normalize_highlight_string(string $html): string
{
$search = ["\r\n", "\n", '<br />', '&nbsp;'];
$replace = ["\n", '', "\n", ' '];
$result = str_replace($search, $replace, $html);
// strip extra span tag
$result = substr_replace($result, '', 5, 6);
$result = substr_replace($result, '', -14, 7);
return '<pre>' . $result . '</pre>';
}
// Highlight PHP code
function highlight_php($code, $return = false)
{
$highlighted = highlight_string($code, true);
// Use this ugly hack for now to avoid code snippets with bad syntax screwing up the highlighter
if (strstr($highlighted, "include/layout.inc</b>")) {
$highlighted = '<span class="html">' . nl2br(htmlentities($code, ENT_HTML5), false) . "</span>";
if (PHP_VERSION_ID < 80300) {
$highlighted = normalize_highlight_string($highlighted);
}
// Fix output to use CSS classes and wrap well
$highlighted = '<div class="phpcode">' . strtr(
$highlighted,
[
'&nbsp;' => ' ',
"\n" => '',
'<span style="color: ' => '<span class="',
],
) . '</div>';
// Fix output to use CSS classes
$search = ['<code style="color: ', '<span style="color: '];
$replace = ['<code class="', '<span class="'];
$highlighted = '<div class="phpcode">' . str_replace($search, $replace, $highlighted) . '</div>';
if ($return) { return $highlighted; }
echo $highlighted;
@@ -45,7 +52,7 @@ 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);
$highlighted_code = preg_replace("!&lt;\?php(\\n)+!", '', $highlighted_code, 1);
// add syntax highlighting for variables
$variableReplacer = function (array $matches) {

3
styles/theme-base.css
View File

@@ -961,6 +961,9 @@ div.tip p:first-child {
margin-bottom: 1.5rem;
}
.phpcode pre {
margin: 0;
}
.phpcode code {
display: block;
overflow-x: auto;