The editor option not showing up in the dashboard. I tried to set to false the statement

define('DISALLOW_FILE_EDIT', true);

But there is not any statement like this in wp-config file. What to do?