priority is necessary if another highlight definition file uses the same extensions. The higher priority will win.
priority es necessària si una altra definició de ressaltat usa les mateixes extensions. S' usarà la de major prioritat.