<?php
define('GENERATED_NAME', 'phpstan');
define('GENERATED_NAME_SYSTEM', 'phpstan');
define('GENERATED_NAME_UPPER', 'phpstan');
define('GENERATED_EMAIL', 'phpstan');