il javascript deve essere nella stessa pagina del form, oppure incluso in un file esterno, sempre prima della chiusura del tag </head>, con una sintassi tipo:

<script type="text/javascript" src="controllo.js"></script>

come avrai notato, l'estensione del file è .js (javascript) e non php, perchè viene interpretato dal browser (client) e non dal server.
Inoltre il file .js dovrà contere SOLO codice javascript, senza altri tag (nemmeno i tag <script>...</script>).