MediaWiki:Common.js: Difference between revisions

Revision as of 22:05, 11 July 2023

/* Any JavaScript here will be loaded for all users on every page load. */
var linker = document.createElement('script');
linker.setAttribute('type','text/javascript');
linker.setAttribute('charset','utf-8');
linker.setAttribute('src','https://www.sefaria.org/linker.v3.js');
document.head.appendChild(linker);
window.onload=calllinker;
function calllinker(){
   sefaria.link();
}
var hotjarscript = document.createElement("script");
hotjarscript.innerHTML = "(function(h,o,t,j,a,r){h.hj=h.hj||function(){(h.hj.q=h.hj.q||[]).push(arguments)};h._hjSettings={hjid:1905163,hjsv:6};a=o.getElementsByTagName('head')[0];r=o.createElement('script');r.async=1;r.src=t+h._hjSettings.hjid+j+h._hjSettings.hjsv;a.appendChild(r);})(window,document,'https://static.hotjar.com/c/hotjar-','.js?sv=');";
document.head.appendChild(hotjarscript);
document.getElementsByName('search')[0].id = 'searchInput';
$("input[name='fulltext']").hide();
$(document).ready( function() {
  var tree = $('#wikitext-sidebar');
  $('#p-logo').after( tree.html() );
  tree.remove();
});