build(deps): bump swagger-ui from 3.25.0 to 3.25.1 (#552)

Bumps [swagger-ui](https://github.com/webjars/swagger-ui) from 3.25.0 to 3.25.1.
- [Release notes](https://github.com/webjars/swagger-ui/releases)
- [Commits](webjars/swagger-ui@swagger-ui-3.25.0...swagger-ui-3.25.1)

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

Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>

Author: dependabot-preview[bot]

web/pom.xml

@@ -16,7 +16,7 @@
     <properties>
         <geronimo.jaspi.version>2.0.0</geronimo.jaspi.version>
         <geronimo.osgi.version>1.1</geronimo.osgi.version>
-        <swagger-ui.version>3.25.0</swagger-ui.version>
+        <swagger-ui.version>3.25.1</swagger-ui.version>
 
         <replacer.version>1.5.3</replacer.version>
         <maven-resources-plugin.version>3.1.0</maven-resources-plugin.version>