Function stripInner

src/tools/web/web-fetch.ts:137–139

(s: string)

}

function stripInner(s: string): string {
  return s.replace(/<[^>]+>/g, '');
}

function decodeEntities(s: string): string {
  return s