https://www.einsiedeln.ch/addins/_javascripts/ajax/updater.js

1/*function $() {
2  var results = [], element;
3  for (var i = 0; i < arguments.length; i++) {
4    element = arguments[i];
5    if (typeof element == 'string')
6      element = document.getElementById(element);
7    results.push(Element.extend(element));
8  }
9  return results.length < 2 ? results[0] : results;
10}*/
11
12function ajaxUpdate(div, path, args, request){
13	ajaxLoading(div);
14	var ajax = new Ajax.Updater(div, path, { method:request, evalScripts:true, postBody:'ajax=1&'+args });
15	newStats(WEMF_section);
16	return false;
17}
18
19//function ajaxLoading(div) {$(div).innerHTML = '<div >Es wird geladen...</div>';}
20
21function ajaxLoading(div) {document.getElementById(div).innerHTML = '<div >Es wird geladen...</div>';}