Das ist normal - wget verwendet nur die letzte Pfadkomponente als Dateinamen.
Sie können festlegen, dass --trust-server-names
der vom Server vorgeschlagene Dateiname verwendet wird (wie bei Webbrowsern), oder -O php-7.1.3.tar.gz
Sie können ihn selbst angeben.
Sie haben jedoch hier die falsche URL. Sowohl http://php.net/get/php-7.1.3.tar.gz
und http://php.net/get/php-7.1.3.tar.gz/from/a/mirror
führen lediglich zu HTML Webseiten. Sie sollten diese Seite in einem Webbrowser besuchen und eine bestimmte Download-URL auswählen. Zum Beispiel:
wget --trust-server-names http://dk2.php.net/get/php-7.1.3.tar.gz/from/this/mirror