jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/378196 )
Change subject: Chore: allow TypeScript definitions to be linted ...................................................................... Chore: allow TypeScript definitions to be linted A follow-up to 04a2349, remove the ESLint ignore entries for TSDs. Change-Id: I068c52f28e4dae086caab8e188553e248de24963 --- M .eslintignore M src/server/types/preact-render-to-string.d.ts 2 files changed, 0 insertions(+), 3 deletions(-) Approvals: Jhernandez: Looks good to me, approved jenkins-bot: Verified diff --git a/.eslintignore b/.eslintignore index b673a91..178135c 100644 --- a/.eslintignore +++ b/.eslintignore @@ -1,3 +1 @@ /dist/ -/src/common/types/ -/src/server/types/ diff --git a/src/server/types/preact-render-to-string.d.ts b/src/server/types/preact-render-to-string.d.ts index 065e0d2..022753d 100644 --- a/src/server/types/preact-render-to-string.d.ts +++ b/src/server/types/preact-render-to-string.d.ts @@ -1,6 +1,5 @@ // todo: delete file when // https://github.com/developit/preact-render-to-string/pull/39 is merged. -/// <reference path="../../../node_modules/preact/dist/preact.d.ts" /> declare namespace render { interface Options { -- To view, visit https://gerrit.wikimedia.org/r/378196 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I068c52f28e4dae086caab8e188553e248de24963 Gerrit-PatchSet: 1 Gerrit-Project: marvin Gerrit-Branch: master Gerrit-Owner: Niedzielski <sniedziel...@wikimedia.org> Gerrit-Reviewer: Jhernandez <jhernan...@wikimedia.org> Gerrit-Reviewer: Sniedzielski <sniedziel...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits