$thanksTo no longer exists after 769cd85.
Fix the broken JS include on servers with notices enabled.

$v is never defined in site_footer()'s scope — I've just nicked the declaration
from header.inc for now, but we probably should have a better way of defining
this before "beta" becomes "stable".
Some minor structure and color changes.
Merge branch 'master' of git://git.php.net/web/php

* 'master' of git://git.php.net/web/php:
  Fix the broken JS include on servers with notices enabled.
  $thanksTo no longer exists after 769cd85.