Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  f5b2b18a0177dfd5ea98fd5039f5e43bb7830eb5

mw.loader#version -> mw.loader#getVersion

mw.loader#version was removed in I57d340015.

Change-Id: Icb8e591c379b083cfc5f05a1a24320e0f13f7d12