Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalCssJs  d86ae53fe2ba187991b52d878db2b65cdba49d34

Remove user option

Users can use mw.config.get('wgDBname') to conditionally load JS
if needed.

Change-Id: If16941a60db780e12a3828ea9541b90739ed4966