Cómo convertir un código en un archivo .js

[rol2007]

asi lo hago

pones esto en la `pagina HTML

<script language="JavaScript" src="js/ejemplo.js"></script>


y en ese archivo pegas

Código PHP:

  function ChangeUrl(form)
{
if (form.ListeUrl.selectedIndex != 0)
{
location.href = form.ListeUrl.options[form.ListeUrl.selectedIndex].value;
}
else
{
alert('Selecciona una opción');
}
}