676 bytes added
, 15:13, 7 November 2021
(function () {
// Find the link used to switch to the desktop view.
var desktopLink = document.getElementById("mw-mf-display-toggle");
if (desktopLink === null) {
return;
}
var href = desktopLink.getAttribute('href')
// Make sure we're not already in the desktop view, which could lead to
// an infinite loop.
if (href.indexOf('.m.') > -1) {
return;
}
// Navigate to the new URL, replacing the history element, as if we were
// never on the mobile site! You can use .assign() instead, if you want to
// keep the URL of the mobile site in your history.
window.location.replace(href);
})()