// ==UserScript==
// @include     https://vk.com/*
// ==/UserScript==

/*
Opera only. Save as "vk.com_fix.js" (without .user).
*/

(function(){

window.opera.addEventListener("BeforeScript", patch_scripts);
function patch_scripts(UserJSEvent){
	var script = UserJSEvent.element;
	
	var str_old = "location.replace('/badbrowser.php');";
	var str_new = "//location.replace('/badbrowser.php');";
	
	if (script.src == "" && script.text.indexOf(str_old) != -1){
		script.text = script.text.replace(str_old, str_new);
		console.log("/badbrowser.php redirect removed");
	}
}

})();