User:DelimanCZ/WikiEnhancements.js

Documentation may be created at User:DelimanCZ/WikiEnhancements.js/doc.

Note: After saving, you have to bypass your browser's cache to see the changes.

Google Chrome, Firefox, Microsoft Edge, and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button.
For details and instructions about other browsers, see Wikipedia:Bypass your cache.

/* -========- 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;
	}
}