sowiesoo

Hm, ok. The editors are not visible in my tools folder. But someone gave me a hint:

https://example.com/wp-admin/plugin-editor.php (only had to replace example with the name of my website).