From 35656aca85aa93d1b7ca3176eae1b783ca004a53 Mon Sep 17 00:00:00 2001
From: Yan Zhulanow <yan.zhulanow@jetbrains.com>
Date: Thu, 26 Nov 2015 16:49:28 +0300
Subject: [PATCH] Add empty Android Extensions plugin

GitOrigin-RevId: 0fd1982222939e9a7392e368f202a3c48f9ded48
---
 .../android-idea-plugin/old_plugin/plugin.xml       | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 plugins/kotlin/compiler-plugins/android-idea-plugin/old_plugin/plugin.xml

diff --git a/plugins/kotlin/compiler-plugins/android-idea-plugin/old_plugin/plugin.xml b/plugins/kotlin/compiler-plugins/android-idea-plugin/old_plugin/plugin.xml
new file mode 100644
index 000000000000..ada072b80cb0
--- /dev/null
+++ b/plugins/kotlin/compiler-plugins/android-idea-plugin/old_plugin/plugin.xml
@@ -0,0 +1,13 @@
+<idea-plugin version="2" url="http://kotlinlang.org">
+    <id>org.jetbrains.kotlin.android</id>
+
+    <name>Kotlin Extensions For Android (obsolete)</name>
+    <description>This plugin is obsolete. Android Extensions are now inside the main Kotlin plugin.</description>
+    <version>1.0-obsolete</version>
+    <vendor url="http://www.jetbrains.com">JetBrains s.r.o.</vendor>
+
+    <idea-version since-build="141.1009" until-build="199.9999"/>
+
+    <depends optional="false">org.jetbrains.kotlin</depends>
+    <depends optional="false">org.jetbrains.android</depends>
+</idea-plugin>