Prefer PSR-2 coding style for PHP

now that it's available.