差分

ナビゲーションに移動 検索に移動
fix obsolete addOnloadHook. cf. https://www.mediawiki.org/wiki/ResourceLoader/Migration_guide_(users)#addOnloadHook
9行目: 9行目:  
   else if(/\/wiki\/([^\?]+)/.test(u)) u = RegExp.$1;
 
   else if(/\/wiki\/([^\?]+)/.test(u)) u = RegExp.$1;
 
   else return;
 
   else return;
 +
 +
  // get lang info from URL
 +
  var l = location.href;
 +
  if(/[\?&]uselang=([^&]+)/.test(l)) l = RegExp.$1;
 +
  // else if(/\/wiki\/([^\?]+)/.test(l)) l = RegExp.$1;
 +
  else l = "ja";
 
   
 
   
 
   // insertion point of toolbox
 
   // insertion point of toolbox
30行目: 36行目:  
   // purge cache
 
   // purge cache
 
   a = document.createElement('a');
 
   a = document.createElement('a');
   a.appendChild(document.createTextNode('最新の情報に更新'));
+
   if(l == "en") {
  a.setAttribute('href', '/wiki/' + u + '?action=purge');
+
    a.appendChild(document.createTextNode('Purge cache'));
 +
    a.setAttribute('href', '/wiki/' + u + '?lang=en&uselang=en&action=purge');
 +
  } else {
 +
    a.appendChild(document.createTextNode('最新の情報に更新'));
 +
    a.setAttribute('href', '/wiki/' + u + '?action=purge');
 +
  }
 
   a.setAttribute('title', decodeURI(u));
 
   a.setAttribute('title', decodeURI(u));
 
   li = document.createElement('li');
 
   li = document.createElement('li');
38行目: 49行目:  
}
 
}
   −
addOnloadHook(purgelink);
+
$( function () {
 +
  purgelink();
 +
} );

案内メニュー