mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 15:16:50 +00:00
bf3600f20a
Change-Id: Ib3c3b8b2f5f87b5f00dcf8b718a0d1bf07948c56
35 lines
997 B
JavaScript
35 lines
997 B
JavaScript
'use strict';
|
|
|
|
module.exports = {
|
|
// todo: enable caching. There are too many other issues to verify that
|
|
// caching works correctly.
|
|
cache: false,
|
|
|
|
// todo: check coverage on all files not just those included in tests.
|
|
// Enable when
|
|
// https://github.com/istanbuljs/nyc/issues/537#issuecomment-390814662
|
|
// is fixed.
|
|
all: false,
|
|
|
|
// Ignore files in vendor/, resources/, and elsewhere.
|
|
include: [ 'src/**/*.js' ],
|
|
|
|
// Set the coverage percentage by category thresholds.
|
|
statements: 80,
|
|
branches: 70,
|
|
functions: 80,
|
|
lines: 90,
|
|
|
|
// Fail if the coverage is below threshold.
|
|
'check-coverage': true,
|
|
|
|
// Work around source maps being included
|
|
// https://github.com/istanbuljs/nyc/issues/847:
|
|
// Error: ENAMETOOLONG: name too long,
|
|
// open '.../vagrant/mediawiki/extensions/Popups/src/data:application/json;...'
|
|
// Unfortunately, the reported line numbers appear to be
|
|
// nondeterministic across runs when all is enabled and incorrect when
|
|
// disabled.
|
|
sourceMap: false
|
|
};
|