User:DelimanCZ/WikiEnhancements.js

/* -========- Editor -========- */

var interval = window.setInterval(function{	if (loopSearch) //stop interval if element found		clearInterval(interval); }, 1000);

function loopSearch { if (document.querySelector('.wikiEditor-ui-text .ui-resizable') !== null) { document.querySelector('.wikiEditor-ui-text .ui-resizable').style.height = '800px'; console.log("Editor extended."); return true; } }