ciao a tutti...
mi aiutate a risolvere questa difficoltà?
$fileName = "pippo.jpg";
io vorrei che diventasse
$fileName = "pippo" .rand(0,9999). ".jpg";
NB:
l'estensione potrebbe esser anche .jpeg, quindi di lunghezza di caratteri differenti.
grazie!!
ciao a tutti...
mi aiutate a risolvere questa difficoltà?
$fileName = "pippo.jpg";
io vorrei che diventasse
$fileName = "pippo" .rand(0,9999). ".jpg";
NB:
l'estensione potrebbe esser anche .jpeg, quindi di lunghezza di caratteri differenti.
grazie!!
Così spezzi il nome del file in nome ed estensione e non dà problemi se il nome del file contiene più di un punto al suo interno
codice:$position = strrpos($filename, "."); $name = substr($filename, $position); $ext = substr($filename, $position +1);
prefetto!!!
così è perfetto:
$filename = "pippo.jpg";
$position = strrpos($filename, ".");
$name = substr($filename, 0, $position);
$ext = substr($filename, $position);
echo $filename = $name . rand(0, 9999) . $ext;
grazie mille!!!