/*
 * Minecraft Dev for IntelliJ
 *
 * https://minecraftdev.org
 *
 * Copyright (c) 2022 minecraft-dev
 *
 * MIT License
 */
 
package com.demonwav.mcdev.update
 
import com.intellij.ide.plugins.IdeaPluginDescriptor
import com.intellij.ide.plugins.PluginManagerCore
import com.intellij.openapi.extensions.PluginId
 
object PluginUtil {
    val PLUGIN_ID = PluginId.getId("com.demonwav.minecraft-dev")
 
    val plugin: IdeaPluginDescriptor
        get() {
            return PluginManagerCore.getPlugin(PLUGIN_ID)
                ?: error("Minecraft Development plugin not found: " + PluginManagerCore.getPlugins().contentToString())
        }
 
    val pluginVersion: String
        get() = plugin.version
 
    val useragent: String
        get() = "github_org/minecraft-dev/$pluginVersion"
}

      

        
/*
 * Minecraft Dev for IntelliJ
 *
 * https://minecraftdev.org
 *
 * Copyright (c) 2023 minecraft-dev
 *
 * MIT License
 */
 
package com.demonwav.mcdev.update
 
import com.intellij.ide.plugins.IdeaPluginDescriptor
import com.intellij.ide.plugins.PluginManagerCore
import com.intellij.openapi.extensions.PluginId
 
object PluginUtil {
    val PLUGIN_ID = PluginId.getId("com.demonwav.minecraft-dev")
 
    val plugin: IdeaPluginDescriptor
        get() {
            return PluginManagerCore.getPlugin(PLUGIN_ID)
                ?: error("Minecraft Development plugin not found: " + PluginManagerCore.getPlugins().contentToString())
        }
 
    val pluginVersion: String
        get() = plugin.version
 
    val useragent: String
        get() = "github_org/minecraft-dev/$pluginVersion"
}