MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

do not map php to dumb custom file type [r=Peter.Gromov]

Browse Source
This commit is contained in:
Maxim.Mossienko
2012-11-21 14:04:20 +01:00
parent 04cdbff23f
commit 5cda093d40
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
community-resources/src/CommunityFileTypes.xml
+1 -1
View File
@@ -169,7 +169,7 @@
</extensionMap>
</filetype>
<filetype binary="false" default_extension="php" extensions="php" description="PHP files" name="PHP files">
<filetype binary="false" default_extension="php" extensions="" description="PHP files" name="PHP files">
<highlighting>
<options>
<option name="LINE_COMMENT" value="//" />
platform/platform-resources/src/FileTypeManager.xml
+1 -1
View File
@@ -157,7 +157,7 @@
</extensionMap>
</filetype>
<filetype binary="false" default_extension="php" extensions="php" description="PHP files" name="PHP files">
<filetype binary="false" default_extension="php" extensions="" description="PHP files" name="PHP files">
<highlighting>
<options>
<option name="LINE_COMMENT" value="//" />