From 0b3492d7311db51e09bc57baaff2aff42b24cf31 Mon Sep 17 00:00:00 2001
From: Fullchee Zhang <Fullchee@users.noreply.github.com>
Date: Sat, 26 Mar 2022 03:23:54 -0400
Subject: [PATCH] Added `dev_addr` property to `schema.json` (#3766)

---
 docs/schema.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/schema.json b/docs/schema.json
index 238078eae47..2a244a1cc14 100644
--- a/docs/schema.json
+++ b/docs/schema.json
@@ -109,6 +109,12 @@
       "type": "boolean",
       "default": false
     },
+    "dev_addr": {
+      "title": "Development IP Address",
+      "markdownDescription": "https://www.mkdocs.org/user-guide/configuration/#dev_addr",
+      "type": "string",
+      "default": "127.0.0.1:8000"
+    },
     "remote_branch": {
       "title": "Remote branch to deploy to",
       "markdownDescription": "https://www.mkdocs.org/user-guide/configuration/#remote_branch",