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>