(Docs) CSS stylesheets: Fix for PHP 8.3+ highlight_string changes#1525

AllenJB wants to merge 1 commit into

php:masterphp/web-php:masterfrom

AllenJB:docs-examples-83-fixAllenJB/web-php:docs-examples-83-fixCopy head branch name to clipboard