From 5e0d6355628566fe1cf29918a6b091d2ba39ed4f Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sun, 21 Jun 2020 23:19:15 +0100
Subject: [PATCH] Resource packs: modules field is required in manifest.json

---
 src/resourcepacks/json/Manifest.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/resourcepacks/json/Manifest.php b/src/resourcepacks/json/Manifest.php
index dee929a80..dbc87bd38 100644
--- a/src/resourcepacks/json/Manifest.php
+++ b/src/resourcepacks/json/Manifest.php
@@ -41,6 +41,7 @@ final class Manifest{
 
 	/**
 	 * @var ManifestModuleEntry[]
+	 * @required
 	 */
 	public $modules;
 }