Estoy escribiendo un script de usuario y ahora necesito implementar lo siguiente en javascript puro:
¿Cómo puedo conseguir esto?
Detalles:
Por ejemplo, el script se ejecuta en https://wenku.baidu.com/view/b249cb95ff4733687e21af45b307e87100f6f861.html
Y luego necesito usar el script para saltar a https://wk.baidu.com/view/b249cb95ff4733687e21af45b307e87100f6f861.html
La razón por la que tengo que cambiar el agente de usuario es que su servidor detectará el UA y devolverá la URL correspondiente (la misma que la anterior).