User:PedroM/global.js

/* Fix crappy search */ document.getElementById("searchForm").addEventListener ("submit", function(event) { "use strict";  var suchText = document.getElementById("searchInput").value;  if (suchText.indexOf(":") != -1) {    event.preventDefault;    //event.stopPropagation;    window.location = '/wiki/' + encodeURI(suchText);  } });