From d7f9f168bd579ec3f8a9da77fe48df8d9cfa4316 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Wed, 31 Jan 2018 12:31:32 +0100
Subject: [PATCH] brink back FileManagerImpl.*Initialized methods for plugin
 compatibility

---
 .../psi/impl/file/impl/FileManagerImpl.java         | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/platform/core-impl/src/com/intellij/psi/impl/file/impl/FileManagerImpl.java b/platform/core-impl/src/com/intellij/psi/impl/file/impl/FileManagerImpl.java
index 9962136fa212..9914f16bcf05 100644
--- a/platform/core-impl/src/com/intellij/psi/impl/file/impl/FileManagerImpl.java
+++ b/platform/core-impl/src/com/intellij/psi/impl/file/impl/FileManagerImpl.java
@@ -233,6 +233,19 @@ public class FileManagerImpl implements FileManager {
     return viewProvider == null ? new SingleRootFileViewProvider(myManager, file, eventSystemEnabled, fileType) : viewProvider;
   }
 
+  /** Left for plugin compatibility */
+  @SuppressWarnings("unused")
+  @Deprecated
+  public void markInitialized() {
+  }
+
+  /** Left for plugin compatibility */
+  @SuppressWarnings("unused")
+  @Deprecated
+  public boolean isInitialized() {
+    return true;
+  }
+
   private boolean myProcessingFileTypesChange;
 
   void processFileTypesChanged() {