Niedzielski has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/398912 )
Change subject: Chore: remove unused Domino types ...................................................................... Chore: remove unused Domino types These types are no longer in use but have been pushed upstream: https://github.com/fgnass/domino/pull/108. Change-Id: I56277a667758f0dfbc206602f0471d8d2620da3b --- D src/common/types/domino.d.ts 1 file changed, 0 insertions(+), 5 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/marvin refs/changes/12/398912/1 diff --git a/src/common/types/domino.d.ts b/src/common/types/domino.d.ts deleted file mode 100644 index 8b69dc5..0000000 --- a/src/common/types/domino.d.ts +++ /dev/null @@ -1,5 +0,0 @@ -declare module "domino" { - function createDOMImplementation(): DOMImplementation; - function createDocument(html?: string, force?: boolean): Document; - function createWindow(html?: string, address?: string): Window; -} -- To view, visit https://gerrit.wikimedia.org/r/398912 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I56277a667758f0dfbc206602f0471d8d2620da3b Gerrit-PatchSet: 1 Gerrit-Project: marvin Gerrit-Branch: master Gerrit-Owner: Niedzielski <[email protected]> Gerrit-Reviewer: Sniedzielski <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
