Remove -moz-box-sizing and define .brand (logo) height
Merge branch 'master' of https://git.php.net/push/web/php