Adding the following snippet to your theme’s functions.php file will let you set default editor in WordPress.