[Nico]

It should work in both. PHP files are locally the same than HTML files. Only the extension changes. What you could try is to put the script in an extern .js page, and include it like this in your PHP page.

Code:

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