From 7f634fbe2e4db3b9ae9fda2b75a21bae855f6ea0 Mon Sep 17 00:00:00 2001 From: chrkv Date: Thu, 24 Aug 2017 22:50:14 +0200 Subject: [PATCH] Change `/plugin/developers` documentation according to prefered parameter name in plugin repository (#47) --- plugin_repository/api/plugin_developers.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugin_repository/api/plugin_developers.md b/plugin_repository/api/plugin_developers.md index 7d5138b5cfc..6eb3e82bfd6 100644 --- a/plugin_repository/api/plugin_developers.md +++ b/plugin_repository/api/plugin_developers.md @@ -5,7 +5,7 @@ title: Plugin Developers List API This API endpoint provides a list of all plugin developers for a plugin by specified *pluginId* or *pluginXmlId*: ``` -https://plugins.jetbrains.com/plugin/developers?pluginXmlId= +https://plugins.jetbrains.com/plugin/developers?xmlId= ``` or ``` @@ -20,6 +20,6 @@ Where e.g. for [Scala Plugin](https://plugins.jetbrains.com/plugin/1347-scala): -[https://plugins.jetbrains.com/plugin/developers?pluginXmlId=org.intellij.scala](https://plugins.jetbrains.com/plugin/developers?pluginXmlId=org.intellij.scala) +[https://plugins.jetbrains.com/plugin/developers?xmlId=org.intellij.scala](https://plugins.jetbrains.com/plugin/developers?xmlId=org.intellij.scala) or [https://plugins.jetbrains.com/plugin/developers?pluginId=1347](https://plugins.jetbrains.com/plugin/developers?pluginId=1347)