fixes linting errors

Author: zorkow

pnpm-lock.yaml

@@ -13,9 +13,11 @@ import {mathjax} from '#js/mathjax.js';
 import {OptionList} from '#js/util/Options.js';
 import {tmpJsonFile} from '#src/constants.js';
 import * as fs from 'fs';
+// eslint-disable-next-line @typescript-eslint/ban-ts-comment
 // @ts-ignore
 import {init} from '#source/node-main/node-main.mjs';
 import {expect} from '@jest/globals';
+// eslint-disable-next-line @typescript-eslint/ban-ts-comment
 // @ts-ignore
 import {source} from '#source/source.js';
 

testsuite/src/setupTex.ts

@@ -134,6 +134,7 @@ const UnicodeMethods: { [key: string]: ParseMethod } = {
     let c = '';
     const text = parser.string.substring(parser.i);
     if (next === "'") {
+      // eslint-disable-next-line @typescript-eslint/ban-ts-comment
       // @ts-ignore
       match = text.match(/^'([0-7]{1,7}) ?/u);
       if (match) {
@@ -145,6 +146,7 @@ const UnicodeMethods: { [key: string]: ParseMethod } = {
         c = String.fromCodePoint(parseInt(match[1], 16));
       }
     } else if (next === '`') {
+      // eslint-disable-next-line @typescript-eslint/ban-ts-comment
       // @ts-ignore
       match = text.match(/^`(?:(\\\S)|(.))/u);
       if (match) {