Disable file editors in WordPress dashboard

Add the following to wp-config.php before /* That’s all, stop editing! Happy publishing. */

define( ‘DISALLOW_FILE_EDIT’, true );