`Microsoft.Web.Editor.TextBufferExtensions.GetFileName()`