mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles
synced 2024-11-24 00:05:50 +00:00
2665e3c319
For now it is limited to a single file RelatedPagesGateway.js For now @types/jquery is requirement due to use of wikimedia/mw-node-qunit and usage of MediaWiki core methods and OOUI that use jQuery. Change-Id: I370826bb3f521dcb5a68491990571ee1c87117ae
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
|
|
}
|
|
}
|