drop php<7.4 support

Q: why are you dropping php<7.4 support?

A: for adding type hint, this was necessary.

Also in 2023, only a few people are still using php<7.4, I don't think anyone will be hurt by this.