Producir los datos de salida en formato PHP serializado (con resaltado sintáctico en HTML).