Standard some colors.
Increased contrast on user note border.
flashMessage() now accepts jQuery objects too
Merge branch 'master' of https://git.php.net/push/web/php
Tighten up some box shadows that are meant to be borders.