From ccaf45086bad09280878b73880a2a4e6d03d660f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Wed, 3 Jul 2019 15:29:16 +0200
Subject: [PATCH] [devkit] 'editorOptionsProvider' EP support I18N

GitOrigin-RevId: c440155bb5a42a15116eb1ff502e4e653eff3111
---
 .../devkit-core/src/dom/impl/I18nReferenceContributor.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/devkit/devkit-core/src/dom/impl/I18nReferenceContributor.java b/plugins/devkit/devkit-core/src/dom/impl/I18nReferenceContributor.java
index 18e5e2a00c52..8b132437f383 100644
--- a/plugins/devkit/devkit-core/src/dom/impl/I18nReferenceContributor.java
+++ b/plugins/devkit/devkit-core/src/dom/impl/I18nReferenceContributor.java
@@ -31,7 +31,7 @@ public class I18nReferenceContributor extends PsiReferenceContributor {
   private static final String[] EXTENSION_TAG_NAMES = new String[]{
     "localInspection", "globalInspection",
     "configurable", "applicationConfigurable", "projectConfigurable",
-    "editorSmartKeysConfigurable"
+    "editorSmartKeysConfigurable", "editorOptionsProvider"
   };
 
   private static final String[] TYPE_NAME_TAG = new String[]{"typeName"};