mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #9029 from Snuffleupagus/eslint--report-unused-disable-directives

Browse source 
Enable the `--report-unused-disable-directives` ESLint command line option
This commit is contained in:
Tim van der Meij 2017-10-15 15:12:20 +02:00 • committed by GitHub
commit 815bc53a16
3 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
gulpfile.js
View file

@ -1160,7 +1160,8 @@ gulp.task('lint', function (done) {
console.log('### Linting JS files');
// Ensure that we lint the Firefox specific *.jsm files too.
var options = ['node_modules/eslint/bin/eslint', '--ext', '.js,.jsm', '.'];
var options = ['node_modules/eslint/bin/eslint', '--ext', '.js,.jsm', '.',
'--report-unused-disable-directives'];
var esLintProcess = spawn('node', options, { stdio: 'inherit', });
esLintProcess.on('close', function (code) {
if (code !== 0) {

1
src/doc_helper.js
View file

@ -12,7 +12,6 @@
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/* eslint-disable strict */
/*
NOTE: This file is created as a helper to assist with JSDoc html files.

1
src/pdf.worker.entry.js
View file

@ -12,7 +12,6 @@
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/* eslint-disable strict */
(typeof window !== 'undefined' ? window : {}).pdfjsDistBuildPdfWorker =
require('./pdf.worker.js');