44b3fece89
[web] fix the http-request metric options for loading the editor GitOrigin-RevId: 8c87ebd5be77a918b719ddd061b4758efb277a90