HTML5 Player for Ningmeng

Replace flash player with HTML5 audio tags for Ningmeng.name.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

You will need to install an extension such as Tampermonkey to install this script.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

// ==UserScript==
// @name         HTML5 Player for Ningmeng
// @namespace    userscripts@dearrrfish
// @version      0.1
// @description  Replace flash player with HTML5 audio tags for Ningmeng.name.
// @author       dearrrfish
// @homepage     https://github.com/dearrrfish/my-userscripts
// @match        http://www.ningmeng.name/?p=*
// @match        http://www.ningmeng.name
// @grant        none
// ==/UserScript==

(function(ajaxOpen) {
    'use strict';
    var replaceFlashPlayer = function() {
        var flashObjects = document.getElementsByTagName('object');
        while(flashObjects.length) {
            var obj = flashObjects[0];
            var embed = obj.getElementsByTagName('embed')[0];
            if (embed && embed.src) {
                var audio = document.createElement('audio');
                audio.src = embed.src.match(/mp3=[^&]*/)[0].slice(4);
                audio.controls = true;
                audio.autoplay = false;

                obj.parentNode.replaceChild(audio, obj);
            }
        }
    };

    XMLHttpRequest.prototype.open = function() {
        this.addEventListener('load', function() {
            setTimeout(replaceFlashPlayer, 500);
        })
        ajaxOpen.apply(this, arguments);
    };

    replaceFlashPlayer();

})(XMLHttpRequest.prototype.open);