Warning: require(menu.php): failed to open stream: No such file or directory in /srv/www/ofi/2023/teach/76f5054a/datenInDatei/db.php on line 2

Fatal error: require(): Failed opening required 'menu.php' (include_path='.:/usr/share/php') in /srv/www/ofi/2023/teach/76f5054a/datenInDatei/db.php on line 2