mirror of
https://github.com/php/php-src.git
synced 2026-04-25 17:08:14 +02:00
c289f5241d
Just check that the port is present, not the exact form of the IP address.