Changeset 44188 in spip-zone for _outils_/validerPlugins/plugin.dtd


Ignore:
Timestamp:
Feb 5, 2011, 7:09:52 PM (9 years ago)
Author:
esj@…
Message:

validerPlugins. Premier essai d'un script transformant un fichier plugin.xml valide en un fichier paquet.xml. La DTD de plugin.xml définie rétroactivement est encore améliorée pour assurer que le fichier est digne d'être converti. A l'inverse, la DTD proposée dans l'article ici est ici un peu dégradée pour s'assurer que le nouveau fichier paquet.xml respecte les mêmes contraintes de fond que l'original (c'est provisoire, le but est justement de mieux contrôler les erreurs). Sur les 863 fichiers plugin.xml testés, 567 respectent plugin.dtd et sont traduits en un paquet.xml respectant paquet.dtd, sauf 15 qui ont justement une erreur dans plugin.xml non reperée par plugin.dtd mais repérée par paquet.dtd. Hormis la cinquantaine de cas même pas conformes XML (cf. r44091), reste donc environ 250 qui sont invalides essentiellement parce que leur balise description etc contienne des balises HTML. Reste donc à s'occuper de leur migration dans les fichiers de langues.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • _outils_/validerPlugins/plugin.dtd

    r44180 r44188  
    8585<!ELEMENT pipeline (action|nom|inclure)*>
    8686
    87 <!ELEMENT bouton (nom|parent|url|args|icone|titre)*>
     87<!ELEMENT bouton (url|args|icone|titre)*>
     88<!ATTLIST bouton
     89          id %NAME; #REQUIRED
     90          parent %NAME; #REQUIRED
     91>
    8892
    89 <!ELEMENT onglet (nom|parent|url|args|icone|titre)*>
     93<!ELEMENT onglet (url|args|icone|titre)*>
     94<!ATTLIST onglet
     95          id %NAME; #REQUIRED
     96          parent %NAME; #REQUIRED
     97>
    9098
    9199<!ELEMENT action (#PCDATA)>
Note: See TracChangeset for help on using the changeset viewer.