13:30:18 1) ExtensionJsonValidationTest::testPassesValidation with data set #3 ('/workspace/src/extensions/Pro...n.json') 13:30:18 Failed asserting that '/workspace/src/extensions/ProofreadPage/extension.json did not pass validation. 13:30:18 [] The property @GroupPermissions is not defined and the definition does not allow additional properties 13:30:18 [] The property VisualEditorPluginModules is not defined and the definition does not allow additional properties 13:30:18 [] The property VisualEditorAvailableNamespaces is not defined and the definition does not allow additional properties 13:30:18 [] The property VisualEditorAvailableContentModels is not defined and the definition does not allow additional properties 13:30:18 ' matches expected false.
https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/ProofreadPage/+/465412/