--- title: Add Web IDE as dropdown item to diff file edit merge_request: 42275 author: type: changed