[php] Filenamen konvertieren

[Mirko Cegledi]

Aloha!

Folgendes Problem, kennen vielleicht ein paar schon: Ich habe =
Webseiten, die
unter Windoof erstellt worden sind, mit Gross-/Kleinschreibung. Die =
sollen
jetzt auf einen Linux-Server. Da funktionieren allerdings ein paar =
Links und
ein paar Bilder nicht, weil die Dateinamen im Filesystem und HTML-Seite
unterschiedlich (zB johnny.jpg Johnny.jpg) geschrieben worden sind. Die
Seiten alle von Hand zu =E4ndern w=E4re ziemlich m=FCssig, gibt es da =
vielleicht
ein Tool? Vielleicht was in PHP3?

TIA,

Mirko Cegledi