intellij-plugin/Edu-Kotlin/resources/Edu-Kotlin.xml (15 lines of code) (raw):
<idea-plugin>
<dependencies>
<!--suppress PluginXmlValidity -->
<module name="jvm-core"/>
<plugin id="org.jetbrains.kotlin"/>
<plugin id="org.jetbrains.plugins.gradle"/>
<plugin id="JUnit"/>
</dependencies>
<extensions defaultExtensionNs="org.jetbrains.kotlin">
<supportsKotlinPluginMode supportsK2="true" />
</extensions>
<extensions defaultExtensionNs="Educational">
<configurator implementationClass="com.jetbrains.edu.kotlin.KtConfigurator" language="kotlin"/>
<mainFileProvider language="kotlin" implementationClass="com.jetbrains.edu.kotlin.KtMainFileProvider"/>
</extensions>
</idea-plugin>