3 ms·
This would be unneeded if PHP wouldn't have case-insensitive identifiers, right? But such a breaking change would of course be too much to ask
by moritzwarhier 4y ago
This would be unneeded if PHP wouldn't have case-insensitive identifiers, right?
But such a breaking change would of course be too much to ask