I would remove this special case and just don't pretty format for PHP < 5.4 (because 5.3 is not supported anymore anyway).