<!DOCTYPE idea-plugin PUBLIC "Plugin/DTD" "http://plugins.intellij.net/plugin.dtd">
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
  <id>jetbrains.mps.ide.httpsupport</id>
  <name>HTTP Support Plugin</name>
  <version>2017.1.2</version>
  <vendor url="http://www.jetbrains.com/mps/">JetBrains</vendor>
  <idea-version since-build="171.1" until-build="172.1"/>

  <extensions defaultExtensionNs="com.intellij">
    <mps.LanguageLibrary dir=""/>
    <httpRequestHandler implementation="jetbrains.mps.ide.httpsupport.manager.plugin.MPSRequestManager" />
  </extensions>
  <extensions defaultExtensionNs="org.jetbrains">
    <customPortServerManager implementation="jetbrains.mps.ide.httpsupport.manager.plugin.MPSInternalPortManager"/>
    <customPortServerManager implementation="jetbrains.mps.ide.httpsupport.manager.plugin.MPSIntegrationPortManager"/>
  </extensions>
</idea-plugin>