Это нормально - 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