Discussion :

[miledy]

Bonjour,
Comment peut on éditer un fichier PHP avec l'extension (.pinc) avec le coloriage syntaxique de php fourni par le plugIn PhpEclipse ?? sans avoir à modifier l'extension en .php ?

merci de votre aide !!

Miled




[Modéré par Didier]
Ajout de tag dans le titre
Lire les règles du forum : Règles du forum Java

[duj]

Je pense qu'il faut que tu modifie le fichier plugin.xml se trouvant dans le répertoire de tu plugin, et ajoutant le nom de l'extension que tu veux à côté de celle de .php.

Cela devrait être du côtéde l'extension point :org.eclipse.ui.editors

Mais je sais pas ce que ca donne de ne modifier que ça !

[miledy]

Je suis allé faire plusieurs modifs dans les fichiers plugin.xml, mais au demarrage, il n'accepte pas non plus le .pinc !!

merci de ton aide quand même,

je vais continuer à chercher !!!!!!