Changed `ide.php` to `src/ide.php`