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.