Commit 835c66d7 authored by Committed by Thomas Löffler
[WIP][TASK] Migrate documentation link generation to new structure of manuals.json
WARNING: Preparation patch - merge after go-live! This change updates the link generation to documentations. With new documentation server in place, the manuals.json contains more information, for example the link to the rendered documentation per extension version.
Showing with 3 additions and 10 deletions