Update mediawiki.ajaxProxy.js

Fix for a bug.