☰

htmlsp_to_html

Replace 'html?sp' to 'html'

Come installare

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Come installare

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!) 

// ==UserScript==
// @name        htmlsp_to_html
// @namespace   http://catherine.v0cyc1pp.com/htmlsp_to_html.user.js
// @include     *?sp*
// @exclude     *.html$
// @run-at      document-start
// @author      greg10
// @license     GPL 3.0
// @version     1.1
// @require     http://code.jquery.com/jquery-3.1.1.min.js
// @grant       none
// @description Replace 'html?sp' to 'html'
// ==/UserScript==


var str = document.location + "";

var newstr = str.replace( /\.html\?sp.*$/, ".html");

if ( newstr === str ) return;

window.location.replace( newstr );