Remove custom documentation of PhpStorm Gerrit plugin in appendix

[pixeldesu]

While the plugin can be set up, the setup is more convoluted and complex than the widely-used CLI setup that is documented pretty well in the contribution workflow anyway.

So, in order for no one else stumbling upon this, it's best to just remove it.

Not a lot of people in/around the Core circles use the PhpStorm Gerrit plugin. We noticed that there can be some issues with setting it up (depending on how deep you want the integration to go). As the plugin is still useful to some we're not fully removing any mention of it, but instead just link to the Marketplace without providing our own documentation around the plugin usage.

[garvinhicking]

I agree.

We should also remove the page itself, to prevent having an orphan entry (mobile atm, can't add that to the PR)

[liayn]

IMO the existence of the plugin should still be mentioned.
It is super helpful when pushing stuff.
(I do not use any other feature of it, actually)

[garvinhicking]

We could then only link to that plugin via marketplace URL https://plugins.jetbrains.com/plugin/7272-gerrit just like the TYPO3 plugin, and not give any special instructions which would make it our responsibility to describe it more properly?

[pixeldesu]

@garvinhicking added the link to the Marketplace now!

[garvinhicking]

@pixeldesu Thanks! Since I'm only on mobile, could you do me two more favors (or wait a bit until I can make it):

• Add the old anchor .. _phpstorm-gerritplugin: before the gerrit marketplace link, so that references to that section at least resolve to the new overview and not break possible docs pointing towards it
• Also remove the referenced gerritplugin images referenced in the deleted detail section, since those are not used anymore

:-)

[pixeldesu]

Done!

[linawolf]

Good idea, thank you

[garvinhicking]

Thanks!