function updateUserEditCounter() {  if (mw.config.get('wgNamespaceNumber') != 2 && mw.config.get('wgNamespaceNumber') != 3) return; // not user page or user talk page  var usereditcounter = document.getElementsByClassName('usereditcounter');  if (!usereditcounter) return; // no user box   var a = sajax_init_object();  var username = mw.config.get('wgTitle').split('/')[0];  a.open('GET', '//he.wikivoyage.org/w/api.php?action=query&list=users&ususers=' + encodeURIComponent(username) + '&usprop=editcount', true);  a.onreadystatechange = function() {   if (a.readyState != 4) return;    var ecRX = /editcount=&quot;(\d+)\&quot;/   a.responseText.match(ecRX);   var editcounter = RegExp.$1;    var thousandRx = /([0-9]+)([0-9]{3})/   while (thousandRx.test(editcounter))    editcounter = editcounter.replace(thousandRx, "$1,$2");      for (var i = 0; i < usereditcounter.length; i++)    usereditcounter[i].innerHTML = editcounter;  };  a.send(null); }  $(updateUserEditCounter);   $(updateUserEditCounter);   //