Make web ide available as editing option in merge request diff
Problem to solve
Currently only the normal editing function is available on files within the merge request diff. This makes it harder than necessary to be able to use the web ide for that specific file.
Target audience
gitlab-ce~9335216
Further details
Proposal
Make the web ide editing feature available next to the normal edit button for files in the merge request diff