Shouldn't this be `appinfo/app.php`?