Muy mala idea pasar el nombre completo del archivo por la url... estás dejando una puerta abierta para que accedan a otras partes de tu servidor o a algunos archivos restringidos.
Mejor es pasar un identificador del archivo, y haces un controlador que obtenga el nombre del archivo a partir del identificador...
Una forma sencilla (sólo pa ilustrar más o menos), puede ser utilizar un array o los sacas de la BD, o de .txt... o de donde quieras. Yo te pongo un ejemplo con array asociativo:
Para el link pones:
Código PHP:
ver.php?video=playa
Y en ver.php pones:
Código PHP:
$archivos['playa']['nombre_archivo'] = "playa.wmv";
$archivos['playa']['texto'] = "La playa";
$archivos['arena']['nombre_archivo'] = "arena032.wmv";
$archivos['playa']['texto']="La arena";
//Y así con todos los archivos que tengas
//Y ahora accedes al archivo:
//Primero validas que el identificador que enviaron por URL está dentro de tu array:
if(isset($archivos[$_GET['video']])){
echo "Nombre de archivo: ".$archivos[$_GET['video']]['nombre_archivo'];
echo "<br />";
echo "Texto para mostrar: ".$archivos[$_GET['video']]['texto'];
}else{
echo "El archivo que busca no existe";
}
Hacer esto es más seguro y limpio que pasar el nombre del archivo.
Si hay varios scripts que deben acceder al array, haces un "archivos.php" que contenga todo el array $archivos y lo incluyes (vía include()) donde lo necesites.... pero si la cantidad de archivos posibles es demasiada... tal vez te convendría ir pensando en una base de datos.
Saludos