diff options
| author | Nicolas Paul <nico@puffer.fish> | 2025-06-25 19:07:21 +0200 |
|---|---|---|
| committer | Nicolas Paul <nico@puffer.fish> | 2025-06-25 19:07:21 +0200 |
| commit | a24517ccce65e54fabe5d25b36327fee66da515e (patch) | |
| tree | 1d66bee8be25e9c364a78773d4544375edad1ccd | |
| parent | 4d7725d4ab4091eb522da614bea1aa1bd1c04603 (diff) | |
| -rw-r--r-- | desktopwikipedia.es | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/desktopwikipedia.es b/desktopwikipedia.es new file mode 100644 index 0000000..83cf7ef --- /dev/null +++ b/desktopwikipedia.es @@ -0,0 +1,14 @@ +// ==UserScript== +// @name Desktop Wikipedia +// @description Redirects to Wikipedia from its mobile version. +// @match https://*.m.wikipedia.org/* +// @version 1.0 +// @run-at document-start +// ==/UserScript== + +// By Nicolas Paul <nico@puffer.fish>: unrestricted use given this notice +// remains. + +top.location.hostname = top.location.hostname.replace('.m.', '.'); + +// vi: ft=javascript |
