Ziffern fischen per RegEx

[Raketenwilli]

Dann einfach so:

echo "\t" . $k . ". Fund:\t" . preg_replace( '/[^0-9]/', '', $s ) . PHP_EOL;

So dann vermutlich, oder?

preg_replace( '/[^0-9]+/', '', $s )

Nein. Das Plus bringt nichts außer Mehrarbeit. Beschreibe einfach mal das Verfahren...

• Jedes Zeichen, welches keine Ziffer ist, durch nichts ersetzen. Fertig
• Jedes Zeichen, welches keine Ziffer ist, merken, nach dem Nachfolger schauern, ob der keine Ziffer ist, sodann nachschauen, ob dessen Nachfolger eine Ziffer ist und wenn doch oder wenn der String zuende ist, die gemerkte Gruppe löschen und den Zeiger n-1 Stellen zurücksetzen.

preg_replace( '/[^0-9]/', '', $s )

passt also.