reloading script for DokuWiki

reload-dw-page.js

$(function){
  loader = setInterval( function(){
    jQuery('#bodyContent').load( window.location.href + '#bodyContent>*' );
    /*
     * use '#bodyContent>*' selector for getting just the contents of #bodyContent 
     * but not the #bodyContent itself
     * in addition: this will strip the script element as well, since we use a selector ;-)
     */
  }, 300000 );
});