Merge pull request #196 from nochso/fix-php-parameter

Add missing PHP_PARAMETER to Jetbrains pattern
daylerees · Jun 7, 2016 · 175ea4d · 175ea4d
2 parents 734e7aa + 65f6725
commit 175ea4d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build/resources/patterns/jetbrains/jetbrains.pattern b/build/resources/patterns/jetbrains/jetbrains.pattern
@@ -1140,6 +1140,7 @@
         <option name="FONT_TYPE" value="2" />
       </value>
     </option>
+    <option name="PHP_PARAMETER" baseAttributes="DEFAULT_PARAMETER" />
     <option name="PHP_EXEC_COMMAND_ID">
       <value>
         <option name="FOREGROUND" value="a5c25c" />