Jump to content

User:Quarl/userscript.js

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Quarl (talk | contribs) at 10:39, 24 January 2006 (fr). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
// User:Quarl/userscript.js - utilities to help develop user scripts

// - adds "raw" tab to user script pages
// - adds "refresh" tab to user script pages (refresh the raw script)

// - TODO: automatically refreshes the raw version when you save a user script page

// requires wikipage.js, addlilink.js

// quarl 2006-01-10 initial version

// TODO: detect whether script has changed via permalink oldid compared to cookie (one cookie per script page?); auto-refresh

function userscriptMakeUrl(wp) {
    // note: wp.qurl is parsed from source and is not the same as blindly escaping the input!  String
    // has to exactly match what the user is using, e.g. "User:Quarl/script", not "User%3AQuarl/script"!
    return wp.qurl + '&action=raw&ctype=text/javascript&dontcountme=s';
}

function addTab_UserScriptRaw() {
    if (wikiPage.article.match(/[.]js$/)) {
        addTab(userscriptMakeUrl(wikiPage), 'raw', 'ca-raw', "Show raw version of user script");
    }
}

function addTab_UserScriptRefresh() {
    if (wikiPage.article.match(/[.]js$/)) {
        addTab('javascript:userscript_DoRefresh()', 'refresh', 'ca-refresh', "Force browser to refresh the raw version of this script");
    }
}

/*function userscript_AutoRefresh_Load() {
    if (queryVars['refresh'] == 'userscript') {
        userscript_DoRefresh();
    }
    userscript_ModifyPageRefreshOnSave();
}*/

function userscript_DoRefresh() {
    force_refresh(userscriptMakeUrl(wikiPage));
}

function force_refresh(url) {
    // We can't do frm.location.reload() right now because frm.location will still be "about:blank", but if we complete this event and start a new one, it works.

    //frm.location.replace(url);
    //frm.location.href = url;
    document.getElementById('userscript_refresher').src = url;
    setTimeout('force_refresh_cont_1()', 0);
}

function force_refresh_cont_1() {
    var frm = window.frames['userscript_refresher'];
    frm.location.reload();
}

/*function userscript_ModifyPageRefreshOnSave() {
    document.editform.action += '&refresh=userscript';
}*/

addOnloadHook(addTab_UserScriptRaw);
addOnloadHook(addTab_UserScriptRefresh);
//addOnloadHook(userscript_AutoRefresh_Load);

// hidden iframe
if (window.quarlDebug)
document.write('<div style="float:right;" id="hidden_userscript_iframe_div"><iframe src="about:blank" height="80" width="80" name="userscript_refresher" id="userscript_refresher"></iframe></div>');
else

document.write('<div style="position:absolute;left:0px;top:0px;visibility:hidden;" id="hidden_userscript_iframe_div"><iframe src="about:blank" height="0" width="0" name="userscript_refresher" id="userscript_refresher"></iframe></div>');