Remove user option

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

Change-Id: If16941a60db780e12a3828ea9541b90739ed4966
Merge "Remove user option"