Files
Grischa Brockhaus 655607d739 parse_url does not return port as array, but it is used as array in Request.php
So I added a check, wether this is an array actually, else I use the port as intended as int. I would assume, that that array check is needless altogether but maybe old PHP versions needed that?
2021-06-02 13:41:15 +02:00
..