// GnomeBugzillaSecure // version 0.1 // 2008-04-28 // Copyright (c) 2008, Lucian Adrian Grijincu // Released under the GPL license // http://www.gnu.org/copyleft/gpl.html // // -------------------------------------------------------------------- // // This is a Greasemonkey user script. // // To install, you need Greasemonkey: http://greasemonkey.mozdev.org/ // Then restart Firefox and revisit this script. // Under Tools, there will be a new menu item to "Install User Script". // Accept the default configuration and install. // // To uninstall, go to Tools/Manage User Scripts, // select "GnomeBugzillaSecure", and click Uninstall. // // -------------------------------------------------------------------- // // ==UserScript== // @name GnomeBugzillaSecure // @namespace http://ixlabs.cs.pub.ro/category/people/lucian-adrian-grijincu/ // @description force GnomeBugzilla to use secure connection // @include http://bugzilla.gnome.org/* // ==/UserScript== /* BEGIN LICENSE BLOCK Copyright (C) 2008 Lucian Adrian Grijincu This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You can download a copy of the GNU General Public License at http://www.gnu.org/licenses/gpl.txt or get a free printed copy by writing to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. END LICENSE BLOCK */ location.href = location.href.replace(/^http:/, 'https:');
