{ pkgs, ... }:
{
  languages.php.enable = true;
  languages.php.package = pkgs.php85;

  languages.javascript.enable = true;
  languages.javascript.package = pkgs.nodejs;
  languages.javascript.npm.enable = true;

  services.redis.enable = true;

  packages = [
    pkgs.php85Packages.composer
  ];

  enterShell = ''
    echo "Multiplayer game server dev environment ready."
    php -v | head -1
    redis-cli ping >/dev/null 2>&1 || echo "Redis: start with: devenv up"
  '';

  scripts.dev.exec = "php artisan serve";
  scripts.reverb.exec = "php artisan reverb:start";
  scripts.simulate.exec = "php artisan game:simulate";
  scripts.test.exec = "php artisan test";
}