It was in `vendors.php`