El caso es que ya te han dado la respuesta. Primero se necesita crear el archivo de texto con el contenido del <textarea>, esto se puede hacer simplemente con "echo" en la página php que recibe la variable enviada por el formulario.
Así se mostrará el archivo en el navegador y lo que se desea es descargarlo, para eso se debe
«forzar la descarga» mediante los headers.
Código PHP:
Ver original<?php
header("Content-Type: application/octet-stream"); header("Content-Disposition: attachment;filename=codigo.js");
echo $_POST["textarea"];
?>