Simplification de l'interface à l'indenteur/validateur, d'une part pour que...

Simplification de l'interface à l'indenteur/validateur, d'une part pour que l'indenteur ne s'encombre pas des données du validateur, et pour qu'on puisse écrire des validateur meilleurs que celui du W3C en récupérant un maximum de code. Il y a peu de programmation objet, mais entre les incompatibilités de PHP4 et PHP5 sur la question, et la folie de la sémantique de référence dans les deux cas, c'est minimal.

A présent, il faut affecter dans mes_options.php une seule variable, qui sera le nom passé à charger_fonction à la fin de ecrire/index.php:

{{{
$GLOBALS['transformer_xml'] = 'indenter_xml';  // pour l'indenteur XML
$GLOBALS['transformer_xml'] = 'valider_xml';  // pour le validateur par DTD
}}}

Les spécifications de [8136] n'auront donc vécu que le temps de 13 dépots.