Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py

branch
Py2 comp.
changeset 3145
a9de05d4a22f
parent 3057
10516539f238
child 3161
06f57a834adf
equal deleted inserted replaced
3144:bb63e24383e4 3145:a9de05d4a22f
5 5
6 """ 6 """
7 Module containing some JavaScript resources. 7 Module containing some JavaScript resources.
8 """ 8 """
9 9
10 from __future__ import unicode_literals # __IGNORE_WARNING__ 10 from __future__ import unicode_literals
11 11
12 bootstrap_js = """ 12 bootstrap_js = """
13 if(typeof GM_xmlhttpRequest === "undefined") { 13 if(typeof GM_xmlhttpRequest === "undefined") {
14 GM_xmlhttpRequest = function(/* object */ details) { 14 GM_xmlhttpRequest = function(/* object */ details) {
15 details.method = details.method.toUpperCase() || "GET"; 15 details.method = details.method.toUpperCase() || "GET";

eric ide

mercurial