From 0d8f57d4365538f759c7e11d0bc66f2fd7a90f3d Mon Sep 17 00:00:00 2001
From: Michael Golubev <michael.golubev@jetbrains.com>
Date: Fri, 17 Oct 2014 10:47:33 +0200
Subject: [PATCH] IDEA-128650 - JBoss Deployment Structure 1.2 is missing from
 JBoss plugin

---
 resources-en/src/search/searchableOptions.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources-en/src/search/searchableOptions.xml b/resources-en/src/search/searchableOptions.xml
index b0aff6232c60..4a76f314caa7 100644
--- a/resources-en/src/search/searchableOptions.xml
+++ b/resources-en/src/search/searchableOptions.xml
@@ -22026,6 +22026,7 @@
     <option name="jboss-app_5_0" hit="jboss-app_5_0" />
     <option name="jboss-deployment-structure_1_0" hit="jboss-deployment-structure_1_0" />
     <option name="jboss-deployment-structure_1_1" hit="jboss-deployment-structure_1_1" />
+    <option name="jboss-deployment-structure_1_2" hit="jboss-deployment-structure_1_2" />
     <option name="jboss-web_3_2" hit="jboss-web_3_2" />
     <option name="jboss-web_4_0" hit="jboss-web_4_0" />
     <option name="jboss-web_4_2" hit="jboss-web_4_2" />