On 2025-12-04 05:41, Rob Landers wrote:
Good catch; will do. For the record, it's as type-sensitive as any other type in PHP (as in not case-sensitive at all).
Well, provided you stick to ASCII-only identifiers...
```
class Thïng {}
class THÏNG {}
class thïng {}
```
