Ich hab tatsächlich die Funktion vergessen:
<script type="text/javascript">
<!--
function rename(datei) {
name = prompt("Bitte geben sie den neuen Namen der Datei ein (die Endung muss erhalten bleiben):",datei);
if(name != "") location.href="./script.php?dir=<?php echo $dir; ?>&action=rename_file&file=" + datei + "&name=" + name;
}
//-->
</script>
Da sieht man mal wieder was einem das Alter für Scherze spielt!