I was aware of the existence of add-ons for Internet Explorer that give it the ability to run user scripts. I was also aware of the possibility that there are Internet Explorer users who would like to be able to use JavaScript scripts that modify web pages, without having to use Mozilla Firefox with Greasemonkey in order to do so. However, I had not made efforts to ensure that any of the scripts that I had written could have been used with browsers other than Firefox. The reasons I had never tried to make these scripts work with other browsers are related to the reasons I began writing these scripts. I write these scripts for myself and for all those who would want to use them. I personally almost always use Firefox as my web browser, and I have not received any requests to make any of my scripts work with other browsers. Until now.
I recently received a request from an Internet Explorer user to modify my Greasemonkey user script that redirects users to the older version of Gmail after logging into Gmail so that it could be used with Internet Explorer. And after discovering that I could simply remove the code for toggling whether or not the secure version of Gmail is to be used to make it compatible to Internet Explorer’s add-ons for running user scripts, I made these changes. This option for using HTTPS while using Gmail may have been obsolete for the last few months, as it was a few months ago that Gmail began giving this option for using HTTPS while in Gmail. I tested this modified version of the script with an add-on for Internet Explorer known as Trixie and found that the script worked with that add-on. I also copied and pasted the script code into a script that comes with an add-on called IE7Pro and found that it worked with IE7Pro, although not as efficiently.
This version of the script can be retrieved from here. This script might also work with Safari when its add-on for running user scripts is installed. However, I have been unable to use this add-on, titled GreaseKit, to determine whether or not Safari users can use this script. I have also been unable to test out this script on Google Chrome when it is used with Greasemetal, although users of Google Chrome might possibly be able to use it. This version of the script, however, does not work with Opera. However, I may take the time to make this script work with Opera. Once again, whether or not I will ensure that this script will work with other browsers depends on whether or not there will be demand for this support from users of these other browsers.