Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  cd5ee730abae9cda943c5aece301711f55d8f240

Remove duplicate comments from platform code

Inherited methods don't need to repeat documentation.

Change-Id: I05c4efe8e4a394411922add5f11259d47d44e3bb