Output in PHP format