Theme file editor has disappeared

1

In the wp-admin dashboard there used to be a theme file editor (appearance/theme file editor). But for some reason it isn’t there anymore.

Does anybody know how to re-enable it?