Skip to content

use \uFFFF as upper range for PHP identifiers #2958

use \uFFFF as upper range for PHP identifiers

use \uFFFF as upper range for PHP identifiers #2958

Triggered via push March 6, 2025 20:38
Status Success
Total duration 4m 11s
Artifacts

docker.yml

on: push
Fit to window
Zoom out
Zoom in