publish correct type of TextDocument#text (can be undefined) (!2548) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge ext-api-textdocument-text into master Mar 04, 2019

Created by: sqs

https://github.com/sourcegraph/sourcegraph/pull/2051 introduced cases where TextDocument#text can be undefined. This should be incorporated into sourcegraph.d.ts and documented.

fix #2416