[PLUGIN REPORTS] - Micrometer Plugin

the document of Micrometer Plugin is outdated.
i'm configuring prometheus for my javalin app. the versions are below:
```xml

io.javalin
javalin
6.1.4

io.javalin
javalin-micrometer
6.1.3

io.micrometer
micrometer-registry-prometheus
1.12.5

```
the code in document can't be compiled correctly. the code below works:
```java
PrometheusMeterRegistry registry = new PrometheusMeterRegistry(PrometheusConfig.DEFAULT);
Javalin.create(config -> {
config.registerPlugin(new MicrometerPlugin(micrometerPluginConfig -> {
micrometerPluginConfig.registry = registry;
}));
})
.get("/prometheus", context -> context.contentType(TextFormat.CONTENT_TYPE_004).result(registry.scrape()))
.start(7000);
```