Output as PHP code