D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
opt
/
psa
/
admin
/
plib
/
modules
/
wp-toolkit
/
vendor
/
symfony
/
console
/
SignalRegistry
/
Filename :
SignalMap.php
back
Copy
<?php /* * This file is part of the Symfony package. * * (c) Fabien Potencier <fabien@symfony.com> * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace WPToolkitDependenciesIsolationPrefix\Symfony\Component\Console\SignalRegistry; /** * @author Grégoire Pineau <lyrixx@lyrixx.info> */ class SignalMap { private static array $map; public static function getSignalName(int $signal) : ?string { if (!\extension_loaded('pcntl')) { return null; } if (!isset(self::$map)) { $r = new \ReflectionExtension('pcntl'); $c = $r->getConstants(); $map = \array_filter($c, fn($k) => \str_starts_with($k, 'SIG') && !\str_starts_with($k, 'SIG_'), \ARRAY_FILTER_USE_KEY); self::$map = \array_flip($map); } return self::$map[$signal] ?? null; } }