Docs: update Web IDE docs (!23735) · Merge requests · GitLab.org / GitLab FOSS · GitLab

Marcia Ramos requested to merge ee-fj-web-ide-terminal-docs into master Dec 11, 2018

What does this MR do?

Makes h1 = feature name
Use inline links
Fixes syntax for "introduced in" notes

Related issues

CE backport of the changes necessary for https://gitlab.com/gitlab-org/gitlab-ee/merge_requests/7780

Author's checklist

Apply the correct labels and milestone
Crosslink the document from other subject-related docs
Correctly apply the product badges and tiers
Port the MR to EE (or backport from CE): always recommended, required when the ee-compat-check job fails

Review checklist

Merge the EE-MR first, CE-MR afterwards

Edited Dec 11, 2018 by Marcia Ramos