Update mediawiki.ajaxProxy.js