Setting root path starting with /dev breaks the dev-ui

[Malandril]

Describe the bug

When setting a root path for the application with quarkus.http.root-path or for quarkus.http.non-application-root-path that is starting with /dev it breaks the dev-ui.

For example setting it to /devil breaks the ui.

It doesn't redirect to the expected urls, and redirects them to /dev-ui.

It seems to be caused when the ui tries to get the basePath such as here for example

quarkus/extensions/vertx-http/dev-ui-resources/src/main/resources/dev-ui/controller/router-controller.js

Line 139 in 6ece690

return base.substring(0, base.indexOf('/dev')) + "/dev-ui";

Maybe it is some legacy behaviour from V1 dev ui path ?

How to Reproduce?

Create a quarkus app with vertx http, then add a root path containing dev, and run the dev mode

quarkus create app -x 'quarkus-rest' quarkus-dev-redirect -P 3.12.3
cd  quarkus-dev-redirect
quarkus dev -Dquarkus.http.non-application-root-path=/devil/q

When connecting to the dev ui on http://localhost:8080/devil/q/dev-ui it will redirect you to http://localhost:8080/dev-ui/extensions .

Quarkus version or git rev

3.12.3

[quarkus-bot]

/cc @cescoffier (devui), @phillip-kruger (devui)