Docs: Fix developing plugins index page (#17877)

Fixes #17874
This commit is contained in:
Marcus Efraimsson 2019-07-02 18:06:02 +02:00 committed by GitHub
parent 3aed4d3613
commit a2c1462675
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23