Added the `laravel.sh` file to the `laravel` definition