diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2015-01-28 22:16:14 +0100 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2015-01-28 22:16:14 +0100 |
| commit | 16f2defa530b36cae7da5e28b5eafef9138adba5 (patch) | |
| tree | c1415ef31bf1e96da1674aec2fc2c580c87d9e08 /data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js | |
| parent | 763c090c20c60c13f9b6f50b953323a237fd778a (diff) | |
Updated to v31.4.0ESR
* Search form in about:icecat now searches in default search engine
* Disabled accessibility.blockautorefresh
* Replaced references to Open Source with Free Software where applicable
* Added html5-video-everywhere v0.1.1 extension: https://github.com/lejenome/html5-video-everywhere
* Updated LibreJS to 6.0.8
Build scripts updated to use pbuilder
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js b/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js index a0220c8..0ae2d05 100644 --- a/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js +++ b/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.js @@ -27,7 +27,7 @@ httpsEverywhere.fetchSource = { CI: Components.interfaces, // Constants for generating URL from which source will be fetched - BASE_SITE: 'https://gitweb.torproject.org/https-everywhere.git/blob_plain/', + BASE_SITE: 'https://gitweb.torproject.org/https-everywhere.git/plain/', DIRECTORY: '/src/chrome/content/rules/', HEAD_STRING: 'HEAD', @@ -58,7 +58,7 @@ httpsEverywhere.fetchSource = { */ getURL: function(filename, GITCommitID) { var fs = httpsEverywhere.fetchSource; - return fs.BASE_SITE + GITCommitID + ":" + fs.DIRECTORY + filename; + return fs.BASE_SITE + fs.DIRECTORY + filename + "?h=" + GITCommitID; }, /** |