// ==UserScript==
// @name Allow INI variables
// @author Lex1
// @version 1.0
// @description  Allow use "INI file variables" (%c, %t) with Javascript. disable-script.js compatible.

var inivar=null;

function monitorIniVar_ujsenabled(e) {if(e.source.indexOf('void(inivar')==0){inivar=e.source.slice(13,-2);e.source='void(inivar)'}}
window.opera.addEventListener('BeforeJavascriptURL',monitorIniVar_ujsenabled,false);