Si l'avevo capito il problema è che la pagina è generata da php e sarebbe una complicazione modificare ogni volta anche il file javascript collegato!