Fix highlighting of Makefile.inc by adding priority to makefile.xml
ClosedPublic

Authored by arichardson on Dec 14 2016, 2:11 PM.

Details

Summary

Otherwise "Makefile.inc" files will be highlighted as PHP (HTML) which
appears to have priority=10 for *.inc files

Diff Detail

Repository
R216 Syntax Highlighting
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
arichardson updated this revision to Diff 9005.Dec 14 2016, 2:11 PM
arichardson retitled this revision from to Fix highlighting of Makefile.inc by adding priority to makefile.xml.
arichardson updated this object.
arichardson edited the test plan for this revision. (Show Details)
vkrause accepted this revision.Dec 19 2016, 11:10 AM
vkrause added a reviewer: vkrause.
This revision is now accepted and ready to land.Dec 19 2016, 11:10 AM
This revision was automatically updated to reflect the committed changes.
dhaumann added a subscriber: dhaumann.EditedDec 19 2016, 2:59 PM

For future changes: Whenever you change a .xml file, please make sure to increase the version number by one.

Example in line 13:

-          version="4" kateversion="3.4"
+          version="5" kateversion="3.4"

This helps us and our users to have distinct versions, and also possible scripts (e.g. running on kate-editor.org) recognize the version change.

Thanks :-)