Renamed deprecated annotation in the doc#2412

xuwei-k merged 1 commit intoscala:mainscala/docs.scala-lang:mainfrom

artemkorsakov:patch-1artemkorsakov/docs.scala-lang:patch-1Copy head branch name to clipboard