phpdoc
Remove stray character.
Only build on PHP 5.4 for now, 5.3 obviously has issues on Travis.