Move server.servlet.path to spring.mvc.servlet.path

Closes gh-12971

spring-boot-project/spring-boot-docs/src/main/asciidoc/appendix-application-properties.adoc

@@ -196,7 +196,6 @@ content into your application. Rather, pick only the properties that you need.
 	server.servlet.jsp.class-name=org.apache.jasper.servlet.JspServlet # The class name of the JSP servlet.
 	server.servlet.jsp.init-parameters.*= # Init parameters used to configure the JSP servlet.
 	server.servlet.jsp.registered=true # Whether the JSP servlet is registered.
-	server.servlet.path=/ # Path of the main dispatcher servlet.
 	server.servlet.session.cookie.comment= # Comment for the session cookie.
 	server.servlet.session.cookie.domain= # Domain for the session cookie.
 	server.servlet.session.cookie.http-only= # "HttpOnly" flag for the session cookie.
@@ -414,6 +413,7 @@ content into your application. Rather, pick only the properties that you need.
 	spring.mvc.pathmatch.use-registered-suffix-pattern=false # Whether suffix pattern matching should work only against extensions registered with "spring.mvc.contentnegotiation.media-types.*".
 	spring.mvc.pathmatch.use-suffix-pattern=false # Whether to use suffix pattern match (".*") when matching patterns to requests.
 	spring.mvc.servlet.load-on-startup=-1 # Load on startup priority of the dispatcher servlet.
+	spring.mvc.servlet.path=/ # Path of the dispatcher servlet.
 	spring.mvc.static-path-pattern=/** # Path pattern used for static resources.
 	spring.mvc.throw-exception-if-no-handler-found=false # Whether a "NoHandlerFoundException" should be thrown if no Handler was found to process a request.
 	spring.mvc.view.prefix= # Spring MVC view prefix.

spring-boot-project/spring-boot-docs/src/main/asciidoc/appendix-configuration-metadata.adoc

@@ -42,10 +42,9 @@ categorized under "hints", as shown in the following example:
 			"sourceType": "org.springframework.boot.autoconfigure.web.ServerProperties"
 		},
 		{
-			"name": "server.servlet.path",
-			"type": "java.lang.String",
-			"sourceType": "org.springframework.boot.autoconfigure.web.ServerProperties",
-			"defaultValue": "/"
+			"name": "server.address",
+			"type": "java.net.InetAddress",
+			"sourceType": "org.springframework.boot.autoconfigure.web.ServerProperties"
 		},
 		{
 			  "name": "spring.jpa.hibernate.ddl-auto",
@@ -84,18 +83,18 @@ categorized under "hints", as shown in the following example:
 ----
 
 Each "`property`" is a configuration item that the user specifies with a given value.
-For example, `server.port` and `server.servlet.path` might be specified in
+For example, `server.port` and `server.address` might be specified in
 `application.properties`, as follows:
 
 [source,properties,indent=0]
 ----
 	server.port=9090
-	server.servlet.path=/home
+	server.address=127.0.0.1
 ----
 
 The "`groups`" are higher level items that do not themselves specify a value but instead
 provide a contextual grouping for properties. For example, the `server.port` and
-`server.servlet.path` properties are part of the `server` group.
+`server.address` properties are part of the `server` group.
 
 NOTE: It is not required that every "`property`" has a "`group`". Some properties might
 exist in their own right.
@@ -163,7 +162,7 @@ in the following table:
 |`name`
 | String
 | The full name of the property. Names are in lower-case period-separated form (for
-  example, `server.servlet.path`). This attribute is mandatory.
+  example, `server.address`). This attribute is mandatory.
 
 |`type`
 | String
@@ -287,7 +286,7 @@ following table:
 |`name`
 | String
 | The full name of the property to which this hint refers. Names are in lower-case
-  period-separated form (such as `server.servlet.path`). If the property refers to a map
+  period-separated form (such as `spring.mvc.servlet.path`). If the property refers to a map
   (such as `system.contexts`), the hint either applies to the _keys_ of the map
   (`system.context.keys`) or the _values_ (`system.context.values`) of the map. This
   attribute is mandatory.