User:MarkusXX/global.js

/* AwesomeSearch */ /* von http://de.community.wikia.com/wiki/Benutzer_Blog:PedroM/Introducing_AwesomeSearch%E2%84%A2?cb=8002 */ var searchForm = document.getElementById("searchForm"); var searchInput = document.getElementById("searchInput"); searchForm.addEventListener ("submit", function(event) { "use strict";  if (searchInput.value.indexOf(":") != -1) {    event.preventDefault;    window.location = '/wiki/' + encodeURI(searchInput.value);  } });