Skip to content
Extraits de code Groupes Projets
Bifurcation depuis spip / spip
15440 validations de retard le dépôt en amont.
  • esj's avatar
    7e8fe71d
    Simplification de l'interface à l'indenteur/validateur, d'une part pour que... · 7e8fe71d
    esj a rédigé
    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.
    7e8fe71d
    Historique
    Simplification de l'interface à l'indenteur/validateur, d'une part pour que...
    esj a rédigé
    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.
index.php 6,61 Kio