Fix ScalaDoc for ExtensionKey (Scala API) (closes #3197)
Merge pull request #1296 from hseeberger/master

Fix ScalaDoc for ExtensionKey (Scala API) (closes #3197)