Last active
August 6, 2016 12:10
-
-
Save usrme/07fe0b5c4201f43b6fc3 to your computer and use it in GitHub Desktop.
Revisions
-
usrme revised this gist
Aug 6, 2016 . 1 changed file with 1 addition and 0 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -1,6 +1,7 @@ // ==UserScript== // @name Force Wikipedia Mobile View // @namespace https://github.com/usrme // @description Forces mobile view on desktop for a better reading experience // @include http*://*wikipedia.org* // @version 1 // @grant none -
usrme revised this gist
Jul 29, 2016 . 1 changed file with 5 additions and 5 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -6,10 +6,10 @@ // @grant none // ==/UserScript== let uri = window.location.href; if (uri.indexOf('.m.') === -1) { let idx = uri.indexOf('wikipedia'), out = uri.substr(0, idx - 1) + '.m.' + uri.substr(idx); window.location.href = out; } -
usrme created this gist
Mar 29, 2016 .There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,15 @@ // ==UserScript== // @name Force Wikipedia Mobile View // @namespace https://github.com/usrme // @include http*://*wikipedia.org* // @version 1 // @grant none // ==/UserScript== var uri = window.location.href if (uri.indexOf('.m.') === -1) { var idx = uri.indexOf('wikipedia'); var out = uri.substr(0, idx - 1) + '.m.' + uri.substr(idx); window.location.href = out; }