Skip to content

use \uFFFF as upper range for PHP identifiers #3140

use \uFFFF as upper range for PHP identifiers

use \uFFFF as upper range for PHP identifiers #3140

Annotations

8 errors

windows-latest with Java 17

succeeded Feb 26, 2025 in 19m 52s