WebMvcMetricsFilter no longer exists since 3.0 and should be replaced with ServerHttpObservationFilter. Documentation still references the old class name

Comment From: pivotal-cla

@aleksandrserbin Please sign the Contributor License Agreement!

Click here to manually synchronize the status of this Pull Request.

See the FAQ for frequently asked questions.

Comment From: pivotal-cla

@aleksandrserbin Thank you for signing the Contributor License Agreement!

Comment From: mhalbritter

Thank you very much and congratulations on your first contribution :tada:!