From ba66ec13750d2180441599cb837534c04eed28be Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Mon, 10 Dec 2018 13:40:06 +0000
Subject: [PATCH] Missing space in JSON

Change-Id: Icac4e36d17231163686d63c5493e1683ca7b83b0
---
 extension.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.json b/extension.json
index 82381fb..77842ce 100644
--- a/extension.json
+++ b/extension.json
@@ -68,7 +68,7 @@
 		"WikibaseRepoDataTypes": [
 			"MathWikidataHook::onWikibaseRepoDataTypes"
 		],
-		"ParserAfterTidy":[
+		"ParserAfterTidy": [
 			"MathHooks::onParserAfterTidy"
 		]
 	},