Bump swagger-ui-dist from 4.12.0 to 4.13.0

Bumps [swagger-ui-dist](https://github.com/swagger-api/swagger-ui) from 4.12.0 to 4.13.0.
- [Release notes](https://github.com/swagger-api/swagger-ui/releases)
- [Commits](swagger-api/swagger-ui@v4.12.0...v4.13.0)

---
updated-dependencies:
- dependency-name: org.webjars.npm:swagger-ui-dist
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

ui/open-api-ui/pom.xml

@@ -13,7 +13,7 @@
     <name>SmallRye: OpenAPI UI</name>
 
     <properties>
-        <swagger-ui.version>4.12.0</swagger-ui.version>
+        <swagger-ui.version>4.13.0</swagger-ui.version>
         <swagger-ui-theme.version>3.0.1</swagger-ui-theme.version>
         <path.swagger-ui>openapi-ui</path.swagger-ui>
         <sonar.skip>true</sonar.skip>