4 ms·

I've been saying for a while now that PHP today is basically Java - generics + better nullability and with a much worse standard library.