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

ubuntu-latest with Java 17

succeeded Feb 26, 2025 in 18m 58s