📂 FileMgr
📍
/home/rsukartini.com/rs/vendor/symfony/console/SignalRegistry
✏️ Edit File: /home/rsukartini.com/rs/vendor/symfony/console/SignalRegistry/SignalMap.php
⬅ Kembali
<?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 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_') && 'SIGBABY' !== $k, \ARRAY_FILTER_USE_KEY); self::$map = array_flip($map); } return self::$map[$signal] ?? null; } }
💾 Simpan File
Batal
⬅ Naik ke console
2 item
Nama
Tipe
Ukuran
Diubah
Aksi
🐘
SignalMap.php
php
926 B
2025-06-27 19:37
✏️ Edit
👁️ View
🗑 Hapus
🐘
SignalRegistry.php
php
1.4 KB
2025-06-27 19:37
✏️ Edit
👁️ View
🗑 Hapus