Kraken\Runtime\RuntimeManager::destroyRuntimes PHP Méthode