(function () {
	var wgLangPrefs = mw.config.get('wgLangPrefs');
	if(! $.isArray(wgLangPrefs) ) {
		wgLangPrefs = Array();
	}
	if ($.inArray("es", wgLangPrefs) == -1) {
		wgLangPrefs.push("es");
	}
	mw.config.set('wgLangPrefs', wgLangPrefs);
}());