function addEngine(name,ext,cat) {
  if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")) {
    window.sidebar.addSearchEngine(
      "http://wiki.lumrix.net/en/plugins/"+name+".src",
      "http://wiki.lumrix.net/en/plugins/"+name+"."+ext,
      name,
      cat );
  }
}