Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  98a914e9fe8968b8c3073f648cf512a51cfadfa9
null
Optimize ve.filterArray a bit

Change-Id: I8fc9c8d5f57a4af3b5421c65664351f21e488c53