Fichier de configuration de plug-in

Référenceplugin-configfileen-us

Le fichier plugin.xml contrôle tous les aspects d’un plug-in, rendant chaque extension visible au reste du toolkit. Le fichier s’appuie sur des points d’extension prédéfinis pour localiser les changements et les intégrer dans le code central.

L’élément racine du fichier plugin.xml est <plugin> et doit obligatoirement spécifier un attribut id. Cet attribut id permet d’identifier le plug-in et de vérifier la présence des prérequis nécessaires. L’attribut id doit respecter la syntaxe suivante :

L’élément <plugin> accepte les éléments enfants suivants :

Toute extension non reconnue par DITA-OT est ignorée ; tous les éléments hormis <plugin> sont facultatifs. Depuis la version 1.5.3, les définitions d’extensions multiples au sein d’un même fichier sont combinées, alors que les versions antérieures ne retenaient que la dernière.

id ::= token('.'token)* token ::= ( [0..9] | [a..zA..Z] | ’_’ | ’-’ )+

• defines anextensionto contribute to a definedextension point. The following attributes are supported:AttributeDescriptionRequiredextensionextension point identifieryesvaluecomma separated string value of the extensioneithervalueorfilefilefile path value of the extension, relative toplugin.xmleithervalueorfiletypetype of thevalueattributeno
• defines plug-in dependencies. The following attributes are supported:AttributeDescriptionRequiredpluginvertical bar separated list of plug-ins that are requiredyesimportanceflag whether plug-in is required or optionalno