Merge pull request #20796 from nicolo-ribaudo/fix-license-lint

Ignore directories in lint-licenses task

Author: calixteman

gulpfile.mjs

@@ -2083,11 +2083,16 @@ gulp.task("lint-licenses", function (done) {
         "examples/**/*.html",
         "!web/wasm/**/*",
       ],
-      {
-        base: ".",
-      }
+      { base: "." }
     )
     .on("data", function (file) {
+      if (!file.contents) {
+        console.warn(
+          `  ${file.relative} is a directory, skipping license header check.`
+        );
+        return;
+      }
+
       const relativePath = file.relative;
       const content = file.contents.toString();
       const re = relativePath.endsWith(".html") ? htmlRE : jsRE;