From 79594ff87665c8658f9e6dd6a11b8980b9be8b35 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 16 Jan 2024 20:25:01 +0100
Subject: [PATCH] Exclude the `web/locale/` folder from linting (PR 17525
 follow-up)

Given that the contents of this folder is generated by `gulp locale` it's essentially build-output and thus shouldn't be included in linting.
---
 .eslintignore    | 1 +
 .prettierignore  | 1 +
 .stylelintignore | 1 +
 3 files changed, 3 insertions(+)

diff --git a/.eslintignore b/.eslintignore
index de788c219..05172be1e 100644
--- a/.eslintignore
+++ b/.eslintignore
@@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/
diff --git a/.prettierignore b/.prettierignore
index de788c219..05172be1e 100644
--- a/.prettierignore
+++ b/.prettierignore
@@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/
diff --git a/.stylelintignore b/.stylelintignore
index de788c219..05172be1e 100644
--- a/.stylelintignore
+++ b/.stylelintignore
@@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/