DevelCommands.php

<?php

namespace Drupal\devel\Drush\Commands;

use Drush\Commands\DrushCommands;
use JetBrains\PhpStorm\Deprecated;
final class DevelCommands extends DrushCommands {
  const REINSTALL = 'devel:reinstall';
  const HOOK = 'devel:hook';
  const EVENT = 'devel:event';
  const TOKEN = 'devel:token';
  const UUID = 'devel:uuid';
  const SERVICES = 'devel:services';

}