also test on PHP 5.5
undo whitespace and debugging changes