Это нормально - wget просто использует последний компонент пути в качестве имени файла.
Вы можете использовать --trust-server-names
его, чтобы использовать любое имя файла, которое предлагает сервер (как это делают веб-браузеры), или -O php-7.1.3.tar.gz
указать его самостоятельно.
Однако, у вас неправильный URL здесь. И то http://php.net/get/php-7.1.3.tar.gz
и другое http://php.net/get/php-7.1.3.tar.gz/from/a/mirror
ведет только к веб-страницам HTML. Вы должны посетить эту страницу в веб-браузере и выбрать определенный URL-адрес для загрузки. Например:
wget --trust-server-names http://dk2.php.net/get/php-7.1.3.tar.gz/from/this/mirror