remplacer caractere affiché par une variable dans "echo" [Résolu]

[horny]

bonsoir a tous
alors voila, j'ai un code permettant l'envoi de fichier sur un serveur,
et me donnant le lien de se fichier , une fois uploader
mais je voudrais bien remplacer les espaces du nom
de mon fichier par "%20" afin de pouvoir faire
des lien qui soient pris en compte par mon forum.

voila le code >

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
</div>
  <form method="post" ENCTYPE="multipart/form-data">
    <p><input type="file" name="fichier" / size="65">
<input type="submit" value="envoyer"/>
</p></form>
 
<?php
if ($_FILES['fichier']['name'] != '') {
$destination = "fichiers/".$_FILES['fichier']['name'];
if (is_uploaded_file($_FILES['fichier']['tmp_name'])) {
$upload = move_uploaded_file($_FILES['fichier']['tmp_name'], $destination) or die("impossible de déplacer le fichier"); }
echo '<strong>>> _ Fichier envoyé sur le serveur avec Succès. <<<br><font color="red">>> _ Voici le lien vers votre fichier >, http://www.laurentdrelon.com/';
echo $destination;
}
?>

la variable du nom de fichier est $destination , je laffiche avec "echo $destination;"
mais comment remplacer les espaces par des "%20" dans la commande echo ???

merci davance pour vos réponses

[ratapapa]

Code :

1
2
 
str_replace(" ", "%20", $tachaine);

Ca devrait suffir

[haltabush]

je dirais plutot urlencode($tonfichier), non?

[julp]

Les fonctions urlencode et rawurlencode sont préférables car elles s'occupent de tous les caractères spéciaux en général (dont l'espace fait partie).


Julp.

[horny]

merci bien