From 5cda093d405d4644b856ff35a8a2d18adaf21f79 Mon Sep 17 00:00:00 2001
From: "Maxim.Mossienko" <Maxim.Mossienko@jetbrains.com>
Date: Tue, 20 Nov 2012 14:15:25 +0100
Subject: [PATCH] do not map php to dumb custom file type [r=Peter.Gromov]

---
 community-resources/src/CommunityFileTypes.xml      | 2 +-
 platform/platform-resources/src/FileTypeManager.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/community-resources/src/CommunityFileTypes.xml b/community-resources/src/CommunityFileTypes.xml
index cef861002a8f..2860d3311050 100644
--- a/community-resources/src/CommunityFileTypes.xml
+++ b/community-resources/src/CommunityFileTypes.xml
@@ -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="//" />
diff --git a/platform/platform-resources/src/FileTypeManager.xml b/platform/platform-resources/src/FileTypeManager.xml
index f8aa4958ae9e..23b433ca62e2 100644
--- a/platform/platform-resources/src/FileTypeManager.xml
+++ b/platform/platform-resources/src/FileTypeManager.xml
@@ -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="//" />