Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  c42840541e69f36b50074e66d63deb8dab0d4bbf

Add bin/ directory with updateStaticLoaders and generateDocs

Adding a symlink in .docs/generate.sh because of Jenkins and
possibly other uses.

Change-Id: Ieb56852d0d0b978fbc1cbb873204d9e457cf969c