[web] Ensure editor theme exists before loading it GitOrigin-RevId: 771aafeda2d7dd3aae9656cdfbad75996a523ac8
en_US