Está resuelto.
No sé si es la mejor manera, pero lo dejo aquí por si a otro le sirve:
Código PHP:
function formatear_cadena_flash($cadena){
$cadena = trim($cadena);
$cadena = str_replace('<br>', '<br />', $cadena);
$cadena_array = explode('</span>', $cadena);
$cadena_array = preg_replace('/<span style="text-decoration: underline;">(.+)/i', "<u>$1</u>", $cadena_array);
$cadena_array = preg_replace('/<span style="font-style: italic;">(.+)/i', "<i>$1</i>", $cadena_array);
$cadena_array = preg_replace('/<span style="font-weight: bold;">(.+)/i', "<b>$1</b>", $cadena_array);
$cadena = join('', $cadena_array);
return $cadena;
}
Saludos,
Pablo