Skip to content

Support rendering release pages with PHP 8.3+#1613

Merged
saundefined merged 1 commit intophp:masterfrom
theodorejb:support-php-83-plus
Nov 19, 2025
Merged

Support rendering release pages with PHP 8.3+#1613
saundefined merged 1 commit intophp:masterfrom
theodorejb:support-php-83-plus

Conversation

@theodorejb
Copy link
Copy Markdown
Contributor

Without this patch, when release pages are rendered with PHP 8.3+ the code blocks are missing line breaks and have extra margin on the <pre> element:
Before patch

This pull request fixes the code blocks to render identically on PHP 8.2 and 8.3+.

I also verified that documentation page examples are not broken or affected by this change.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Nov 16, 2025

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Nov 16, 2025

Copy link
Copy Markdown
Member

@saundefined saundefined left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks!

@saundefined saundefined merged commit a32bc94 into php:master Nov 19, 2025
4 of 5 checks passed
@theodorejb theodorejb deleted the support-php-83-plus branch November 19, 2025 20:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants