[GitHub] flink pull request #5071: [FLINK-7907][docs] The metrics documentation missi...

[zentol]

Github user zentol commented on a diff in the pull request:

    https://github.com/apache/flink/pull/5071#discussion_r153838811
  
    --- Diff: docs/monitoring/metrics.md ---
    @@ -61,9 +63,35 @@ public class MyMapper extends RichMapFunction<String, 
String> {
     }
     
     {% endhighlight %}
    +</div>
    +
    +<div data-lang="scala" markdown="1">
    +{% highlight scala %}
    +
    +public class MyMapper extends RichMapFunction[String,String] {
    --- End diff --
    
    remove public keyword (also applies to remaining examples)


---