mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles
synced 2024-11-30 19:14:49 +00:00
25 lines
572 B
JSON
25 lines
572 B
JSON
|
{
|
||
|
"include": [
|
||
|
"resources/ext.relatedArticles.readMore.bootstrap/index.js",
|
||
|
"resources/ext.relatedArticles.readMore.bootstrap/RelatedPagesGateway.js"
|
||
|
],
|
||
|
"compilerOptions": {
|
||
|
"resolveJsonModule": true,
|
||
|
"esModuleInterop": true,
|
||
|
"strict": true,
|
||
|
"noUnusedLocals": true,
|
||
|
"noUnusedParameters": true,
|
||
|
"noImplicitReturns": true,
|
||
|
"newLine": "lf",
|
||
|
"forceConsistentCasingInFileNames": true,
|
||
|
"pretty": true,
|
||
|
"target": "es5",
|
||
|
"module": "es2015",
|
||
|
"moduleResolution": "node",
|
||
|
"lib": [ "dom" ],
|
||
|
"allowJs": true,
|
||
|
"checkJs": true,
|
||
|
"noEmit": true
|
||
|
}
|
||
|
}
|