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

10 errors and 1 warning

macos-latest with Java 17

succeeded Feb 26, 2025 in 33m 0s