head.php: convert head.html to php

So I can cheat and copy-paste easily to my PHP.