Update svglint to 3.1.0

The new release contains:
 - simple-icons/svglint#110
 - simple-icons/svglint#111

which allow us to slightly simplify our code.

.svglintrc.js

@@ -18,4 +18,18 @@ export default {
       },
     ],
   },
+  ignore: [
+    "build/**",
+    "l10n/**",
+    "docs/**",
+    "node_modules/**",
+    "external/bcmaps/**",
+    "external/builder/fixtures/**",
+    "external/builder/fixtures_babel/**",
+    "external/quickjs/**",
+    "test/tmp/**",
+    "test/pdfs/**",
+    "web/locale/**",
+    "*~/**",
+  ],
 };

gulpfile.mjs

@@ -1983,8 +1983,9 @@ gulp.task("lint", function (done) {
 
   const svgLintOptions = [
     "node_modules/svglint/bin/cli.js",
-    "web/**/*.svg",
+    "**/*.svg",
     "--ci",
+    "--no-summary",
   ];
 
   const esLintProcess = startNode(esLintOptions, { stdio: "inherit" });
@@ -2009,12 +2010,7 @@ gulp.task("lint", function (done) {
         }
 
         const svgLintProcess = startNode(svgLintOptions, {
-          stdio: "pipe",
-        });
-        svgLintProcess.stdout.setEncoding("utf8");
-        svgLintProcess.stdout.on("data", m => {
-          m = m.toString().replace(/-+ Summary -+.*/ms, "");
-          console.log(m);
+          stdio: "inherit",
         });
         svgLintProcess.on("close", function (svgLintCode) {
           if (svgLintCode !== 0) {

package.json

@@ -48,7 +48,7 @@
     "puppeteer": "23.3.1",
     "stylelint": "^16.10.0",
     "stylelint-prettier": "^5.0.2",
-    "svglint": "^3.0.0",
+    "svglint": "^3.1.0",
     "terser-webpack-plugin": "^5.3.10",
     "tsc-alias": "^1.8.10",
     "ttest": "^4.0.0",