User:Ὁ οἶστρος/common.js

importScript("User:GregU/dashes.js"); (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); })