// @licstart The following is the entire license notice for the // JavaScript code in this page (or file). // // This file is part of Linterna Mágica // // Copyright (C) 2010, 2011, 2012, 2013 Ivaylo Valkov // Copyright (C) 2010, 2011, 2012, 2013 Anton Katsarov // // The JavaScript code in this page (or file) is free software: you // can redistribute it and/or modify it under the terms of the GNU // General Public License (GNU GPL) as published by the Free Software // Foundation, either version 3 of the License, or (at your option) // any later version. The code is distributed WITHOUT ANY WARRANTY // without even the implied warranty of MERCHANTABILITY or FITNESS // FOR A PARTICULAR PURPOSE. See the GNU GPL for more details. // // As additional permission under GNU GPL version 3 section 7, you // may distribute non-source (e.g., minimized or compacted) forms of // that code without the copy of the GNU GPL normally required by // section 4, provided you include this license notice and a URL // through which recipients can access the Corresponding Source. // // @licend The above is the entire license notice for the JavaScript // code in this page (or file). // // @source http://linterna-magica.nongnu.org // Linterna Mágica Greasemonkey script // Version 0.0.13-2 // // This script searches for flash objects with video links in web sites // and replaces them with objects playable with browser video // plugin (totem/vlc/xine/gecko-mediaplayer). // ==UserScript== // @name Linterna Mágica 0.0.13-2 // @namespace Linterna Mágica // @description Watch video on the web in a brand new way: You don't need a glint, the magic lantern is ignited! // @include http://* // @include https://* // @grant none // ==/UserScript== (function(){ if (typeof(unsafeWindow) == "object") { (function inject_in_page() { var userscript_data = inject_in_page.caller.toString(); var script = document.createElement("script"); script.setAttribute("type", "text/javascript"); script.setAttribute("src", "data:text/javascript;charset=UTF-8;base64,"+ btoa("("+userscript_data+")();")); var inject_data = function() { var head = document.getElementsByTagName("head")[0]; head.appendChild(script); head.removeChild(script); } setTimeout(inject_data, 0); })(); throw "Linterna Mágica left the Greasemonkey scope!"+ " Script was injected in page."; } // This object initializes the LinternaMagica object var linterna_magica_options = { // Print debugging information // log level 0,1, 2, 3, 4, 5 "debug": 0, // Where to print the debugging information // web: Print messages in the web page (default) // console: Use the debugging console of the browser "log_to": "web", // Should the web logger be automatically expanded by default // false: No (default) // true: Yes "web_log_expand": false, // Should Linterna Mágica automatically check and notify for // updates. //