Skip to content

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

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

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

Triggered via pull request October 19, 2025 13:27
@AllenJBAllenJB
closed #1525
Status Success
Total duration 14s
Artifacts

pr-closed.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in