WordPress: Create wp_editor for code; disable WYSIWYG functions