// ==UserScript==
// @include     https://*.youtube.com/*
// @include     https://*.youtube-nocookie.com/*
// @include     https://*.youtubeeducation.com/*
// @include     https://*.googleapis.com/*
// ==/UserScript==
 
/* Opera only. Save as "YouTube_force_flash.js" (without .user). */
 
(function(){
function patch_scripts(UserJSEvent){
    var script = UserJSEvent.element;
    if (!(script.src.match(/\/www-[^\/]*\/base\.js$/)
       || script.src.match(/\/www-[^\/]*\/www-embed-player\.js$/)
       || script.src.match(/\/www-[^\/]*\/www-pageframe\.js$/)))    //not sure where is it used
        return;
    // console.debug(script.src);
     
    script.text = script.text.replace(
    '(a,b){if(!a.isDisposed()){if(!b){var c;if(!(c=!a.',  
    '(a,b){if(!a.isDisposed()){if(!(b="flash")){var c;if(!(c=!a.'
    );
}
 
window.opera.addEventListener('BeforeScript', patch_scripts);
 
function dummy(){}
function dummy_(){
    return dummy;
}
 
/* disable HTML5 player load on youtube.com pages */
opera.defineMagicVariable('ytplayer',  
    function(v){
        return this.v;
    },  
    function(v){
        Object.defineProperty(v, 'load', {
            configurable: true,
            get: dummy_
        });
        this.v = v;
    }
);
})();