// del.icio.us prevent ajax edit

if(location.href.indexOf('http://del.icio.us') == 0) {
    window.opera.addEventListener(
        'BeforeScript',
        function (e) {
            if(e.element.getAttribute('src').match(/ui\/static\/delicious\.js/)) {
                e.element.text = e.element.text.replace("shareNo: postNo,", "shareNo: postNo");
                e.element.text = e.element.text.replace("edit: editPost", "");
            }
        },
        false
    );
}