Skip to content

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

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

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

Triggered via pull request October 19, 2025 13:02
Status Success
Total duration 1m 18s
Artifacts

integrate.yaml

on: pull_request
Matrix: Code Coverage
Matrix: Coding Standards
Matrix: Tests
Fit to window
Zoom out
Zoom in