Merge "Have maintenance/updateExtensionJsonSchema.php copy documentation"