diff options
author | Nik Nyby <nikolas@gnu.org> | 2015-01-18 08:46:34 -0500 |
---|---|---|
committer | Nik Nyby <nikolas@gnu.org> | 2015-01-18 08:46:34 -0500 |
commit | 73f344f4275b7e02933751eb8d64ff081af3a0e8 (patch) | |
tree | 58fae2253931bad0fcca1228615b0f330e027c0b /lib/ui.js | |
parent | ada88090ead2c3b9d0804794c5f20f9b24d1c2b1 (diff) | |
download | librejsxul-73f344f4275b7e02933751eb8d64ff081af3a0e8.tar.lz librejsxul-73f344f4275b7e02933751eb8d64ff081af3a0e8.tar.xz librejsxul-73f344f4275b7e02933751eb8d64ff081af3a0e8.zip |
Committing changes for version 6.0.8
Diffstat (limited to 'lib/ui.js')
-rw-r--r-- | lib/ui.js | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -1,21 +1,22 @@ /** * GNU LibreJS - A browser add-on to block nonfree nontrivial JavaScript. * * - * Copyright (C) 2014 Loic J. Duros + * Copyright (C) 2015 Nik Nyby * - * This program is free software: you can redistribute it and/or modify + * This file is part of GNU LibreJS. + * + * GNU LibreJS 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 3 of the License, or * (at your option) any later version. * - * This program is distributed in the hope that it will be useful, + * GNU LibreJS 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 should have received a copy of the GNU General Public License - * along with this program. If not, see <http://www.gnu.org/licenses/>. - * + * along with GNU LibreJS. If not, see <http://www.gnu.org/licenses/>. */ let data = require("sdk/self").data; @@ -34,6 +35,7 @@ let jsLabelsPagesVisited = require('html_script_finder/web_labels/js_web_labels' .jsLabelsPagesVisited; let dryRunScripts = require("script_entries/dryrun_scripts").dryRunScripts; let types = require("js_checker/constant_types"); +const removeHashCallback = require("js_checker/js_checker").removeHashCallback; // move to sub-module later const scriptsCached = require("script_entries/scripts_cache").scriptsCached; |