Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  1546485fed528786a1279edde4a7490b3e7482c5

No more configuration overrides

In various places in the UI code, certain properties of config objects
were overridden and in some cases the configurations were documented as
private as a strange hack to prevent them from being advertised in the
docs.

I, Trevor, have been convinced of the error of my ways, and gladly
reverse this situation, allowing all configurations to always be
overridden when desired, while still allowing default values.

Change-Id: I242e3b1902dec8e09eeea38fa64381e69ee04215