Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  1ea9016cf8d13276b5f242f5ea65d548a8d2cee1

doc: Clean up documentation related to ES5 in ve.js

Also removed redundant ve#filterArray.

Change-Id: I80a2e7fdfdb8f26510196995044124afeda4e682