Isso é normal - wget apenas usa o último componente do caminho como o nome do arquivo.
Você pode usar --trust-server-names
para fazer com que use qualquer nome de arquivo sugerido pelo servidor (como os navegadores da web) ou -O php-7.1.3.tar.gz
para especificar você mesmo.
No entanto, você tem o URL errado aqui. Tanto http://php.net/get/php-7.1.3.tar.gz
como http://php.net/get/php-7.1.3.tar.gz/from/a/mirror
levam apenas a páginas HTML. Você deve visitar essa página em um navegador da Web e escolher um URL de download específico. Por exemplo:
wget --trust-server-names http://dk2.php.net/get/php-7.1.3.tar.gz/from/this/mirror