Yes this simple issue took me >1h to fix 🙁
Tried to reinstall sources, deactivate the theme and plugins. Clear cache and cookies, but wasn’t successful to bring the editor buttons back.
Finally the hint posted here was successful to add
to WP-Config.php on your webserver.