mediawiki/extensions/Wikisource: main (log #321156)

sourcepatches

This run took 15 seconds.

From 9c6aecbdc94d4e33ea4a7cc60bc675cfcf112f07 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Tue, 15 Jun 2021 10:44:54 +0000
Subject: [PATCH] [DNM] there are no updates

Change-Id: Ia435ed03d7a5a29c8ddd9e254352eb69dc9d6d33
---
 .eslintrc.json | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.eslintrc.json b/.eslintrc.json
index f020351..2a5385f 100644
--- a/.eslintrc.json
+++ b/.eslintrc.json
@@ -17,10 +17,13 @@
 		"ve": false
 	},
 	"rules": {
-		"jsdoc/no-undefined-types": [ "warn", {
-			"definedTypes": [
-				"OcrTool"
-			]
-		} ]
+		"jsdoc/no-undefined-types": [
+			"warn",
+			{
+				"definedTypes": [
+					"OcrTool"
+				]
+			}
+		]
 	}
 }
-- 
2.20.1

**purged**
Source code is licensed under the AGPL.